It's worth pointing out that Gödel's axioms are commonly thought to be stronger than the existence of God (or gods, or "godlike objects") insofar as they entail modal collapse. Apparently, there are improvements of his argument that work around this, but I have never looked into them.