
Georg Meggle
auch der Satz
L.G4.1’ GG (P,A) GG (P,A)
für beliebiges n≥1, mit m≤n
ganz uneingeschränkt.
Unter welcher Voraussetzung ein bezüglich der Gruppenzugehörigkeit im
de re Sinne gemeinsamer Glaube n-ter Stufe mit einem entsprechenden de
dicto gemeinsamen Glauben äquivalent ist, sagt das folgende Theorem:
T.G14-1: Λx(GW
n-1
(P,xP) ˅ GW
n-1
(P,(xP)))
(GG
n
(P,A) GG (P,A))