 On Gödel’s theoretical assumptions, we can show that any set which conforms to (1)–(6) is such that the property of having as essential properties just those properties which are in that set is exemplified. Gödel wants us to conclude that there is just one intuitive, theologically interesting set of properties which is such that the property of having as essential properties just the properties in that set is exemplified. But, on the one hand, what reason do we have to think that there is any theologically interesting set of properties which conforms to the Gödelian specification? And, on the other hand, what reason do we have to deny that, if there is one set of theologically interesting set of properties which conforms to the Gödelian specification, then there are many theologically threatening sets of properties which also conform to that specification?