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 ...