Some Emendations of Gödel's Ontological Proof

Some Emendations of Gödel's Ontological Proof