You got it right. The fallacy is in the axioms. They're supposed to be undoubtable, but they are doubtable. I showed you that "God does not exist" is just as good a premise as "he does" right off the bat. Barfo figured it out without hardly trying.
https://www.princeton.edu/~achaney/tmve/wiki100k/docs/Gödel_s_ontological_proof.html
The first version of the ontological proof in Gödel's papers is dated "around 1941". Gödel is not known to have told anyone about his work on the proof until 1970, when he thought he was dying. In February, he allowed Dana Scott to copy out a version of the proof, which circulated privately. In August 1970, Gödel told Oskar Morgenstern that he was "satisfied" with the proof, but Morgenstern recorded in his diary entry for 29 August 1970, that Gödel would not publish because
he was afraid that others might think "that he actually believes in God, whereas he is only engaged in a logical investigation (that is, in showing that such a proof with classical assumptions (completeness, etc.) correspondingly axiomatized, is possible)."[1]
Do the math for me... 1970 - 1941 is how many years did he sit on this masterpiece?