I added a revised version of Goedel's ontological argument; see the explanations in file README.
The relevant new files are: README Quantified_S5.ax GoedelGod_lemma_1.p GoedelGod_lemma_2.p
GoedelGod_lemma_3.p GoedelGod_theorem_1.p GoedelGod_corollary_1.p GoedelGod_theorem_1_oneStep.p

Older files can be removed.

Best regards,
 Christoph