^{ Type post Author Robert J. Marks Date June 7, 2021 Categorized Mathematics, Religion Tagged Anselm of Canterbury, Axioms, Definitions, Descartees, God's existence, Gottfried Wilhelm Leibniz, Kurt Gödel, Kurt Gödel (belief in God), ontological proof, Theorems }

## Gödel Says God Exists and Proves It

_{Here is a line-by-line explanation of his proof}

_{ Robert J. Marks and Samuel Haug June 7, 2021 Mathematics, Religion }

Kurt Gödel, an intellectual giant of the 20th century, offered a mathematical proof that God exists. Those who suffer from math anxiety admire what the theorem (shown below) claims to do, but have absolutely no idea what it means. Our goal is to explain, in English, what Gödel’s existence of God proof says. Gödel’s proof shows the existence of God is a necessary truth. The idea behind the truth is not new and dates back to Saint Anselm of Canterbury (1033-1109). Great scientists and philosophers, including Descartes and Leibniz, have reconsidered and refined Anselm’s argument. Gödel appears to be the first, however, to present the argument using mathematical logic. Lexicography In any development of a mathematical theory, there are foundational axioms…