View source for God/arguments for/Gödel

==About==
'''G�del's ontological proof''' is a supposed [[mathematical proof]] of the existence of [[God]]; it is a formalization of [[../Saint Anselm|Saint Anselm's ontological argument]] by legendary mathematician [[Kurt G�del]].

However, it is basically wordplay (as are many such proofs) which commits the [[logical fallacy]] of [[assuming the conclusion]].
==Argument==
The argument can be paraphrased thusly:
* The [[definition of God]] is that it is an entity possessing only positive qualities.
* Not existing would be a negative quality.
* Therefore God must exist.

This boils down to a claim that "If an entity possessing only positive qualities existed, then it couldn't not exist." &ndash; which doesn't prove anything at all.
==Links==
===Reference===
* {{wikipedia|G�del's ontological proof}}