Es ist etwas Verdächtiges an dem Satz “⊢Πp ⊃ p”, & zwar am Gebrauch der Implikation. Aber was ist es?
22