Der bewiesene mathematische Satz hat in seiner Grammatik zur Wahrheit hin ein Uebergewicht. Ich kann, um den Satz 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 i[d|s]t, so muss 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.

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.