
Georg Meggle
Und um schließlich auch noch die 4. Stufe nach diesem Muster zu kon-
struieren und eben dieses damit weiter zu verdeutlichen:
4.
re
Stufe: Λx(xP G(X,Λy(yP G(x,Λz(zP G(y,G(z,A)))))))
Allgemein definieren wir daher:
D18.g GG
(
X,P,A) := G(X,A)
Es ist von X aus gesehen in P gemeinsamer de re Glaube
1. Stufe, dass A
D18.h GG (X,P,A) := Λx(xP GG (X,P,GG (x,P,A)))
Es ist von X aus gesehen in P gemeinsamer (de re) Glau-
be n+l-ter Stufe, dass A
D18.i GG
re
(X,P,A) := ΛnGG (X,P,A)
Es ist von X aus gesehen in P Gemeinsamer (de re)
Glaube, dass A
Und von diesen Hilfsbegriffen ausgehend, lässt sich dann ein ...