• Collapse

  • Annotate using Feed The Pundit
  • Ts-236 Diplomatic transcription
  • Facsimile
  • Ts-236,91[5]
  • prev
  • Drag

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


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

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

} a+(b+c) = (a+b)+c           (I)

    




(a+1)+1
i
=
(a+1)+1

1 + (a+1)
R
=
(1+a)+1
         

} a+1 = 1 + a           (II)

    




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

(b + 1) +a
R
=
b + (1+a)
II
=
b + (a+1)
R
=
(b + a) + 1
         

} a+b = b+ a           (III)

    
✓

(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.com/BTE/Ts-236,91[5]_d

RDF: http://www.wittgensteinsource.com/BTE/Ts-236,91[5]_d/rdf

JSON: http://www.wittgensteinsource.com/BTE/Ts-236,91[5]_d/json