| |
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.
) |