Comment by User23

Gödel also formally proved the existence of God. As in it can be checked by computerized theorem provers.[1]

[1] https://en.m.wikipedia.org/wiki/Gödel%27s_ontological_proof