Keine Untersuchung der Begriffe, nur die Einsicht in den
Zahlenkalkül kann vermitteln daß
3 + 2 =
5 ist. Das ist es, was sich in uns auflehnt gegen
den Gedanken,
die Tautologie daß
„(∃3x) φx ∙
(∃2x) ψx ∙ Ind. ⊃
(∃5x) φx ⌵ ψx”
der Satz 3 + 2 =
5 sein könnte. Denn das, wodurch wir diesen
Ausdruck als Tautologie erkennen, kann sich selbst nicht aus einer
Betrachtung von Begriffen
ergeben,
sondern muß
unmittelbar 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
& ist, wenn wir uns für ihn interessieren nur
Beiwerk.