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 das sein Gegenteil beweisbar ist?


73