Just defending Herr Gödel as I see his and Leibniz names being bandied about. His proof said nothing on existence. It only said if god did exist god _must_ be p

Just defending Herr Gödel as I see his and Leibniz names being bandied about. His proof said nothing on existence. It only said if god did exist god _must_ be perfect. That’s a very different argument. You’d still have to accept the axioms though, one of which is kinda that god even exists. And Gödel certainly believed in a God of sorts so to him this logical system was a proof.