Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury. Wikipedia