Das ist eine seltsame Bemerkung, daß in den Induktionsbeweisen der Grundregeln nach wie vor ihre Unreduzierbarkeit || (Unabhängigkeit) sich zeigen muß || zu Tage treten muß. Was, wenn man das für den Fall von || Was, wenn man das in dem Fall ¤ von gewöhnlichen Beweisen (oder Definitionen) sagte || Was, wenn man das für || über Beweise || von Beweisen sagte, also für den Fall wo die Grundregeln eben weiter reduziert werden, eine neue Verwandtschaft zwischen ihnen gefunden (oder konstruiert) wird.