Do I understand correctly that the universe, x, is empty just in case [\forall x (Px)] is false and ~ is true?
No, it's when there's nothing possessing P(x), i.e. [\forall \neg x(Px)]
Then it is true, given that P is the property which defines whether something is "something in the universe"...