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 &
bezieht sich auf ein System von Sätzen, etwa den Sätzen der
Form a × b =
c
.