Die Klammer in R, welche u, v, und
w zusammenhält, kann weiter nichts bedeuten, als
daß wir den
Übergang in A (oder einem von
der
461
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.