Ich sollte sagen: Der ‚Beweis’ B steht für eine Beweisreihe. Ist der Ausdruck (oder ein Teil des Ausdrucks) eines Gesetzes wonach || nach welchem 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).