Keine Untersuchung der Begriffe, nur die Einsicht in den Zahlenkalkül kann vermitteln, dass 3 + 2 = 5 ist. Das ist es, was 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.