Mann, Mann, Mann!
Gödel wollte nicht mit dem ontologischen Gottesbeweis, die Existenz Gottes beweisen, sondern wollte damit die Stärken und Schwächen der axiomatischen Methode aufzeigen. Er zeigt aber nur die Herleitbarkeit der Behauptung der Existenz aus verschiedenen, selbst u. U. plausiblen, aber nicht notwendigerweise gültigen Annahmen.
Durch freie Wahl der Axiome ist so gut wie jede Behauptung beweisbar.
Axiom - Wertschätzung, Urteil, als wahr angenommener Grundsatz.
(Quelle Wikipedia "Kurt Gödel" "Axiom")