Formalizations of Gödel's Ontological Proof of God's Existence