A friend referred me to a Wikipedia page where Kurt Godel has claimed to have proven that God exists. The proof says 1. Existence is a positive property in all worlds. 2. God of a world is defined …