I have simply put the 'Ontological Proof' in a form suitable for children.

The first version of the ontological proof in Gödel's papers is dated "around 1941".

This is now known as Gödel's ontological proof.

The ontological proof is rather more subtle.

When, accordingly, the Ontological proof declares that the latter is involved in the former, it puts forward nothing more than a mere statement.

Descartes's argument turns out to be a reworking of Anselm's ontological proof.

Gödel's ontological proof of the existence of God is published posthumously.

However, arguably none have refuted the ontological proof more radically and thoroughly than Kant.

According to several logicians, Gödel's ontological proof is best studied (from a technical perspective) in such a context.

All three proofs can be reduced to the Ontological Proof, which tried to make an objective reality out of a subjective concept.

It's no accident that the subject of Vernor's research involves "the classic problem of 'ontological proof.' "

Like Descartes, Spinoza returned to the ontological proof for God's existence.

Then a teacher introduced him to St. Anselm's "ontological proof" of the existence of God.

Too busy deconstructing the Ontological Proof of the Existence of God.

But the Ontological Proof is religious, it's moral, it's about how God can't not exist.'

Ontological Proof"."

The Ontological Proof considers the concept of the most real Being ("ens realissimum") and concludes that it is necessary.

Gödel's ontological proof of God's existence uses as an axiom that the set of all "positive properties" is an ultrafilter.

Calling Anselm's approach to the existence of God the ontological argument is probably better than calling it the ontological proof.

In this way, the Cosmological Proof is merely the converse of the Ontological Proof.

Mathematician Kurt Gödel allows circulation of his ontological proof of the existence of God.

'Like Gödel's theorem or the Ontological Proof.'

In the third and fifth Meditation, he offers an ontological proof of a benevolent God (through both the ontological argument and trademark argument).

Bonaventure also applied Anselm's Ontological Proof for the existence of God to his discussion of Francis as an epiphany.

Jordan Howard Sobel, "Gödel's Ontological Proof" in On Being and Saying.