/  
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 von für den Fall von ¤ von gewöhnlichen Beweisen (oder Definitionen) sagte ¤ also für den Fall wo die Grundregeln eben weiter reduziert werden, eine neue Verwandschaft zwischen ihnen gefunden (oder konstruiert) wird. [ ¤Was, wenn man das in dem Fall von … ] [ ¤Was, wenn man das
über
für
Beweise von Beweisen sagte, … ]