Noun
ontological proof (plural ontological proofs)
Synonym of ontological argument
Gödel's ontological proof of God's existence uses as an axiom that the set of all "positive properties" is an ultrafilter. Source: Internet
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. Source: Internet
History of Gödel's proof The first version of the ontological proof in Gödel's papers is dated "around 1941". Source: Internet
Points relevant to the ontological proof include :4. Source: Internet