A brief note on Gödel’s ontological proof
摘要
The Consistency Theorem—which says that any positive property can be possibly satisfied by an actual, non-conceptual, individual—is a key step in Gödel’s ontological proof of the existence of God. We show how this theorem (with supporting lemmas) provides insight into the question of Why is there something instead of nothing?