Right. The set of all integers which are both even and odd is a well-defined set. It just happens to be empty. The set of all counter-examples to the Goldbach conjecture is a well-defined set. We don't know if it's empty or not.