Interestingly though, even Gödel himself did some work on ontological god evidence, but did not publish it during his lifetime. I'm unfamiliar with his actual idea of "proof" but I hear that it is also a little bit weird which is probably why he wasn't confident enough to publish it.