​ 
                    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.
                    Und was wäre die Regel, nach der dieser Uebergang berechtigt // erlaubt // ist?

 

(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://wittgensteinsource.org/BTE/Ts-212,XVIII-133-5[2]_d

RDF: http://wittgensteinsource.org/BTE/Ts-212,XVIII-133-5[2]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ts-212,XVIII-133-5[2]_d/json