​ 
                    /a + (b + 1)
u
=
(a + b) + 1/ & /a + (b + (c + 1))
v
=
(a + (b + c)) + 1/ & /(a + b) + (c + 1)
w
=
((a + b) + c) + 1/ .≝. a + (b + c).I.(a + b) + c …U)
und allgemein:

/f1(1)
r
=
f2(1)/ & /f1(c + 1)
v
=
f1(c + 1)/ & /f2(c + 1)
w
=
f2(c + 1)/ .≝. f1(c).I.f2(c) …V).

 

(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.com/BTE/Ts-211,447[3]_d

RDF: http://wittgensteinsource.com/BTE/Ts-211,447[3]_d/rdf

JSON: http://wittgensteinsource.com/BTE/Ts-211,447[3]_d/json