Now suppose that there are two Gods, A and B; if they are genuinely Gods then both would satisfy this definition. But the identity of indiscernibles holds that if everything that is true of A is also true of B (that is, they are indiscernible), then A and B are one and the same thing (that is, identical). In order for there to be two they would have to differ in some respect, but that would mean one of them not being either omnipotent or omniscient or perfectly good, and of course such a being could not be called ‘God’ at all because it would fail to satisfy the definition of God.

