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.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.