Das ist eine seltsame Bemerkung, daß in den Induktionsbeweis 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 gewöhnlichen Beweisen (oder Definitionen) sagte, also für den Fall, wo die Grundregeln eben weiter reduziert werden, eine neue Verwandtschaft zwischen ihnen gefunden (oder konstruiert) wird.