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