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
dasjenige
das
, wodurch wir
jenen
diesen
Ausdruck als Tautologie erkennen, kann sich 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.