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
entnehmen
ersehen
wir aus ihrem Beweis in analoger Weise, wie die Kontrollierbarkeit des Satzes „die Punkte A & B liegen zwischen zwei 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
Kontrollierbarkeit behauptet wird. Und hier kann man wieder nur sagen: [s|S]ieh' Dir den Beweis an, dann wirst Du sehen was hier bewiesen wird, was „der [B|b]ewiesene Satz” genannt wird.