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, ausschließe,
– 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 er
rechnen,
662
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
muß, ein Paradigma, dann hat es keinen Sinn,
von einer Ausrechnung der Gleichung zu reden; sowenig, wie von der
einer Definition.