680
Der bewiesene mathematische Satz hat in seiner Grammatik zur Wahrheit hin
ein Übergewicht.
Ich kann, um den Sinn von
25 × 25 =
625 zu verstehen, fragen: wie wird dieser Satz
bewiesen.
Aber ich kann nicht fragen: wie wird – oder würde – sein
Gegenteil bewiesen; denn es hat keinen Sinn, vom Beweis des Gegenteils von
25 × 25 =
625 zu reden.
Will ich also
eine Frage stellen, die von der Wahrheit des
Satzes unabhängig ist, so muß ich von der
Kontrolle seiner Wahrheit, nicht von ihrem Beweis, oder
Gegenbeweis, reden.
Die Methode der Kontrolle entspricht dem, was man den Sinn des
mathematischen Satzes nennen kann.
Die Beschreibung dieser Methode ist allgemein und bezieht sich auf ein
System von Sätzen, etwa den Sätzen der Form a × b = c.