​ 
      Angenommen, ich hätte R'sche Beweise der Sätze
      
‘ p
‘ ~p
‘ p 		   ≡
≡
≡ 		   ~ ~p ’
~ ~ ~p ’
~ ~ ~ ~p ’

vor mir & fände nun einen abgekürzten Weg, den Satz
     ‘ p ≡ ~10p ’
zu beweisen. Es ist als habe ich eine neue Rechnungsart innerhalb des alten Kalküls gefunden. // Innerhalb des alten Kalküls habe ich … gefunden. // Worin besteht es, daß sie gefunden wurde?

 

(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/Ms-122,91r[2]_d

RDF: http://wittgensteinsource.org/BTE/Ms-122,91r[2]_d/rdf

JSON: http://wittgensteinsource.org/BTE/Ms-122,91r[2]_d/json