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.