Actually, Kurt Godel, a brilliant logician with a philosophical bent, in addition to producing a closed time-loop interpretation of relativity, provided an upgraded and stronger version of the famous Ontological Proof for the existence of God. Kurt Godel's Ontological Proof
First define "god."
Then one can attempt to prove whether what you have defined exists or not.