Gödel's ontological proof

E100625 UNEXPLORED

Gödel's ontological proof is a formal, modal-logic-based argument for the existence of God that rigorously develops and refines earlier ontological arguments within a precise axiomatic framework.

Jump to: Referenced by

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Kurt Gödel notableIdea Gödel's ontological proof