Ich sollte sagen: Der ‚Beweis’ B steht für eine Beweisreihe. Ist der Ausdruck (oder ein Teil des Ausdrucks) eines Gesetzes
nach welchem
wonach
Beweise gebildet werden können. – Wenn ich sage [|]Teil des Ausdrucks”, so ist das Übrige die Anleitung zum Verständnis [ Verstehen ] des rekursiven Beweises (die im Bilden [ in der Bildung ] einiger Glieder der Beweisreihe besteht.).