Do I understand correctly that the universe, x, is empty just in case [\exists x (Px)] is false and [\forall x (Px)] is true?
Is there anything interesting about empty universes? I don't have any problems with them yet, but I'm not sure how to think about them. That is, they seem to be lacking...