// Nehmen wir an, wir haben in irgend einem Sinne … //
// Wir anerkennen den Satz, daß … //
Ich nehme an, wir haben in irgend einer Weise bewiesen, 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.      ˇAber ⊢ ~ Π P ⌵ ~ Π P = ⊢ ~ Π P = ⊢ P
.


    Ist dies Gödels Gedankengang?