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.