I thought that there has been a lot of criticism of Gödel's axioms used in his proof. For example, he cites 'positive property' in one axiom, but doesn't define it. God obviously would exemplify all positive properties, and one of these is existing necessarily, and then G cites the famous step in modal logic, ,that if something is 'possibly necessary' then it exists. Well, if that makes you happy, good luck to you, and may all your camels be fertile.