
Anhang – Ergänzungen
die Sätze
T.G4: GG(P,A) GG(P,GG(P,A))
T.G4*: GW(P,A) GW(P,GW(P,A))
gültig waren, gilt analoges für unsere GG
n
- bzw. GW
n
-Begriffe sicher nicht:
Denn andernfalls würde ja z. B. bei GG
n
(P,A), wobei n≥1, auch
GG
n
(P,GG
n
(P,A)) – i.e. (s. L.G13) GG
n+n
(P,A) gelten, weshalb dann
schon aus GG
1
(P,A) direkt folgte, dass auch GG(P,A) – was aber gerade
nicht gelten soll: Kein gemeinsamer Glaube n-ter Stufe impliziert einen
solchen Glauben n+m-ter Stufe – für beliebiges m≥l.
Hingegen kann man sich leicht klarmachen, dass die jeweiligen GG
n
-
und GW
n
-Entsprechungen zur Regel RG und zu den Gesetzen G1 bis