ontological proof
Noun
Meaning
ontological proof (plural ontological proofs)
Synonym of ontological argument
Synonyms
Examples
Gödel's ontological proof of God's existence uses as an axiom that the set of all "positive properties" is an ultrafilter.
In the early 1970s, Gödel circulated among his friends an elaboration of Leibniz's version of Anselm of Canterbury 's ontological proof of God's existence.
History of Gödel's proof The first version of the ontological proof in Gödel's papers is dated "around 1941".
Points relevant to the ontological proof include :4.