I think you will be pleasantly amused by this marriage of logic and religious beliefs: https://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_pro...
It is formally proven that an entity that encompass all qualities of a God must exist.
Very interesting read, Thanks!
If I'm reading that article correctly, the criticism to Gödel is the same criticism I had for Leibniz:
> A proof does not necessitate that the conclusion be correct, but rather that by accepting the axioms, the conclusion follows logically.
> Many philosophers have called the axioms into question.