Wenn ich a + (b + c) = (a + b) + c negiere, so hat das nur Sinn, wenn ich etwa sagen will: es ist nicht a + (b + c) = (a + b) + c, sondern = (a + 2b) + c. Denn es fragt sich: was ist der Raum, in welchem ich den Satz negiere? wenn ich ihn abgrenze, ausschliesse, – wovon?
Die Kontrolle von 25 × 25 = 625 ist die Ausrechnung von 25 × 25, die Berechnung der rechten Seite; – kann ich nun a + (b + c) = (a + b) + c errechnen, das Resultat (a + b) + c ausrechnen? Je nachdem man es als berechenbar oder unberechenbar betrachtet, ist es beweisbar oder nicht. Denn ist der Satz eine Regel, der jede Ausrechnung folgen muss, ein Paradigma, dann hat es keinen Sinn, von einer Ausrechnung der Gleichung zu reden; sowenig, wie von der einer Definition.

681

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