Der Beweis der
Kontrollierbarkeit von
17 × 23 =
391 ist ‘Beweis’ in einem andern
Sinne dieses Worts, als der, der Gleichung selbst.
(Der Müller mahlt, der Maler malt: beide
…) Die Kontrollierbarkeit der Gleichung
ersehen || entnehmen
wir aus ihrem Beweis in analoger Weise, wie die
Kontrollierbarkeit des Satzes “die Punkte A und B
sind nicht
durch eine Windung der Spirale
getrennt” aus der Figur. Und man sieht auch
schon, daß der Satz, der die
Kontrollierbarkeit aussagt, ‘Satz’ in einem
andern Sinne ist, als der, dessen Kontrollierbarkeit behauptet
wird. Und hier kann man wieder nur sagen:
Sieh Dir den Beweis an, dann wirst Du
sehen,
was hier bewiesen wird, was “der
bewiesene Satz” genannt wird.