Keine
Untersuchung der Begriffe, nur die Einsicht in den
Zahlenkalkül kann vermitteln, daß
3 + 2 =
5 ist. Das ist es, was
712
sich in uns auflehnt
, gegen den
Gedanken, daß
“(Е3x).fx &
(Е2x).gx &
Ind.. ⊃ .(Е5x).fx ⌵
gx”
der Satz
3 + 2 = 5
sein könnte. Denn
das || dasjenige,
wodurch wir
diesen || jenen Ausdruck als Tautologie
erkennen, kann sich selbst nicht aus einer Betrachtung von
Begriffen ergeben, sondern muß aus dem
Kalkül zu ersehen sein. Denn die Grammatik ist
ein Kalkül. D.h., was im
Tautologien-Kalkül noch außer dem
Zahlenkalkül
da ist, rechtfertigt diesen nicht
und ist, wenn wir uns für ihn interessieren, nur
Beiwerk.