Es ist etwas [v|V]erdächtiges an dem Satz “⊢Πp ⊃ p”, & zwar am Gebrauch der Implikation. Aber was ist es?
22