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.