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
wird
ist
! – Ja aber er sichert diese Anwendung seiner selbst nicht.