This work consists of two distinct and complementary logico-mathematical demonstrations. Part One establishes that God — understood as the first ground of reality — is not demonstrable within any formal system, independently of the question of its existence. Part Two constructs a corollary to the first: it shows that the first ground exists necessarily as the ineluctable structural condition of the existence of the Universe. The two results do not contradict each other: they stand on distinct logical planes, and together they trace the contours of what cannot be reached — but cannot not be.The load-bearing structure of the demonstration is exhaustion of cases: whatever nature one attributes to God as ground — Definite Infinity or Indefinite Infinity — one arrives at the same conclusion through distinct logical paths. The method is that of analytic philosophy; the style, that of the tradition of formal rigour applied to questions of foundations.
Giuseppe Antonio Marino (Mon,) studied this question.