567
gesetzt 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:
P & f0 = P & f0 & F0 = P & f0 & S
P & f1 = P & f1 & F1 = P & f1 & S …B
P & f2 = P & f2 & F2 = P & f2 & S
u.s.w. ad inf..
.
Und dies kann man dadurch ausdrücken, dass 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.