Ich nehme an, wir haben in irgend einer Weise bewiesen, daß (für alle p) || Nehmen wir an, wir haben in irgend einem Sinne (für alle p) || Wir anerkennen den Satz, daß (für alle p)

⊢ ~ Π ⊃ p || ⊢ ~ Π p ⌵ p
.

Finden wir nun einen speziellen Satz P1, für welchen || den
P1 = ~ Π P,
so folgt aus: ⊢ ~~ Π P ⊃ ~ Π P und Π P ⊃ P = ⊢ ~ ~ Π P ⊃ ~ Π P || ⊢~ Π P ⌵ ~ Π P und.      Aber ⊢ ~ Π P ⌵ ~ Π P = ⊢ ~ Π P = ⊢ P.


     Ist dies Gödels Gedankengang?


(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/Ms-117,147[1]et147[2]et147[3]_n

RDF: http://wittgensteinsource.com/BTE/Ms-117,147[1]et147[2]et147[3]_n/rdf

JSON: http://wittgensteinsource.com/BTE/Ms-117,147[1]et147[2]et147[3]_n/json