Gödel based his math on Anselm of Canterbury ontological argument: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist."
Curious to test the math on a supercomputer, Christoph Benzmüller of Berlin's Free University and Bruno Woltzenlogel Paleo of the Technical University in Vienna, ran the numbers and proved the theorem.