461
Die Klammer } in R, welche
u,
v, und w zusammenhält, 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.