Aber jedenfalls ist doch die Verneinung des einen nicht die
Verneinung des andern
! Denn wenn
⊢p ⊃ p . = .
p ⊃ p = taut
., dann kann man
fragen: was ist nun das Negativ des Satzes
“⊢p ⊃ p”?
Besagt es, daß der Satz nicht beweisbar ist, oder da
ß sein
Gegenteil beweisbar ist?
73