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 Beschreibung der 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

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