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 ich 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.