567
… gleichgesetzt werden. (Und man kann dann nur sagen: Wenn in Deiner || einer Notation S = P ist, dann bedeutet S nichts andres als P.)
     Es folgt zwar nicht P aus f5 & F5, wohl aber f5 & F5 aus P & f5.
P & f5 = P & f5 & F5 = P & F5
u.s.w..
Also kann man schreiben:
Π & f0 = Π & f0 & F0 = Π & f0 & S
Π & f1 = Π & f1 & F1 = Π & f1 & S …B
Π & f2 = Π & f2 & F2 = Π & f2 & S
u.s.w. ad inf..
.
Und dies kann man dadurch ausdrücken, daß man sagt, die Gleichzahligkeit folge aus P. Und man kann auch die Regel geben P & S = P, die mit den Regeln, oder der Regel, B und der Regel A übereinstimmt.