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