Das ist eine seltsame Bemerkung, dass in den Induktionsbeweisen der Grundregeln nach wie vor ihre Unreduzierbarkeit (Unabhängigkeit) sich
697
zeigen muss // ﹖– zu Tage treten muss –﹖ // . Was, wenn man das für den Fall von gewöhnlichen Beweisen (oder Definition) sagte, also für den Fall, wo die Grundregeln eben weiter reduziert werden, eine neue Verwandtschaft zwischen ihnen gefunden (oder konstruiert) wird.