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
& B
) sind nicht durch
eine Windung der Spirale getrennt” aus der
Zeichnung || Figur. Und man sieht auch
schon daß der Satz der die Kontrollierbarkeit
aussagt ‚Satz’ in einem andern Sinne ist
als der dessen |