EN
With Gp for 'God thinks p', these axioms are adopted: Gp if p (Geach); no distinct G-thoughts are equivalent; all are conjuctive only; reality is homomorfic image of G-thought. Moreover, an indenumerable infinity of elementary G-thoughts is assumed, each a function of a denumerable infinity of arguments interpreted as Leibniz's monads. And the G-conjuctions are infinite sequences of those thoughts.