>>Gödel's ontological proof is a formal argument for God's existence by the mathematician Kurt Gödel.
http://en.wikipedia.org/wiki/G%C3%B6del%27s_ontological_proof