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