A Simplified Variant of G\"odel's Ontological Argument. (arXiv:2202.06264v2 [cs.LO] UPDATED)

A simplified variant of G\"odel's ontological argument is presented. The
simplified argument is valid already in basic modal logics K or KT, it does not
suffer from modal collapse, and it avoids the rather complex predicates of
essence (Ess.) and necessary existence (NE) as used by G\"odel. The variant
presented has been obtained as a side result of a series of theory
simplification experiments conducted in interaction with a modern proof
assistant system. The starting point for these experiments was …

arxiv simplified