? ✓

Ich möchte sagen, wenn ich

die Gleichungen

a + (b + 1) = (a + b) + 1

a + (b + (c + 1)) = a + (b + c)) + 1)

(a + b) + (c + 1) = ((a + b) + c) + 1

}

betrachte: es liegt alles in ihnen; kein weiterer Schritt gibt uns mehr, als schon da steht. Anderseits sieht man sie doch auf gewisse Weise an, wenn man sie als Induktionsbeweis auffaßt, aber das sagt nur, daß wir sie das in ihnen sehen, was wir

etwa
z.B.

durch U unterstreichen gewisser Ausdrücke anzeigen oder durch das Ziehen von Zuordnungslinien zwischen den Gleichungen [ oder durch

Verbindungslinien
Linien

, welche die Zuordnung zwischen den Gleichungen Teile der einen Gleichung mit Teilen der anderen zuordnen. ] Und diese Linien sind nur neue Passflächenstellen, welche den Gleichungskomplex in ein neues System einreihen.

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