Is there definitive proof of the existence of God?

How does Gödel try to show that God’s existence is possible? He argues that it is possible because God has only positive properties. If God were to have both positive and negative properties simultaneously it would seem impossible for him to exist because they would contradict each other. For example, it would seem impossible for God to exist if he were to have the property of being all knowing (a positive property) and the property of being ignorant (a negative property) simultaneously. Therefore God, as the greatest possible being, has only positive properties, such as the properties of being all knowing, all powerful and morally perfect, which, according to Gödel, do not contradict each other.

The complete article

Yujin Nagasawa — OUPblog