A Brief Note on Gödel's Proof of the Existence of God

It looks like Gödel proved that Existence exists. I think of that as a proof of God's existence but the sort of atheist who thinks something doesn't count as religious unless it's irrational probably won't.

On the other hand, it looks like Gödel assumed the axiom S5, in which something is necessarily true if and only if it is true in all possible worlds and something is possibly true if and only if it is true in at least one possible world. If we only assume S4, for example, we can't prove God exists in all possible worlds. (I'll have to expand on this in a future post.)

A quote that might be relevant to discussions of the Ontological Argument from Atlas Shrugged:

But it is not possible for justice to go out of existence, because one is an attribute of the other, because justice is the act of acknowledging that which exists.