​ 
     5 + (4 + 3) = 5 + (4 + (2 + 1)) = 5 + (4 + 2) + 1) = (5 + (4 + 2)) + 1 = (5 + (4 + (1 + 1))) + 1 = ((5 + 4) + 2) + 1 = (5 + 4) + 3 … (L)
     Das ist einerseits der Beweis von 5 + (4 + 3) = (5 + 4) + 3, anderseits kann man es als Beweis von 5 + (4 + 4) = (5 + 4) + 4 etc. etc. gelten lassen, d.h. benützen.
     Wenn ich nun sage: L ist der Beweis des Satzes a + (b + c) = (a + b) + c, so würde das Eigentümliche
am
am
 Uebergang vom Beweis zum Satz viel auffälliger.

 

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



To cite this element you can use the following URL:


BOXVIEW: http://www.wittgensteinsource.org/BTE/Ts-213,703r[3]_d

RDF: http://www.wittgensteinsource.org/BTE/Ts-213,703r[3]_d/rdf

JSON: http://www.wittgensteinsource.org/BTE/Ts-213,703r[3]_d/json