Die Klammer
} in R kann weiter nichts bedeuten, als daß wir den
Übergang in A (oder einen von der Form A) als
berechtigt ansehen, wenn die Glieder (Seiten) des Übergangs
in einer durch das Schema B charakterisierten Beziehung zu
einander stehen. Es nimmt dann B den Platz von
A. Und wie es früher hieß: der
Übergang ist in meinem Kalkül erlaubt,
wenn er einem der A entspricht,
so kann es jetzt
heißen || so heißt es jetzt: er ist
erlaubt, wenn er einem der B entspricht.
Damit aber hätten wir noch keine Vereinfachung, keine
Reduktion gewonnen.