7.6.
Da der Satz “Πp ⊃ p”
aller möglichen Anwendungen fähig ist, –
inwiefern sichert er einen Aufbau der Logik, in dem Sätze als
bewiesen gelten, wenn eine Induktion für sie
bewiesen ist? – Aber man
kann den Satz
doch
so anwenden, daß die Logik so aufgebaut
ist || wird! – Ja aber
er
sichert diese Anwendung seiner selbst nicht.