Hmmmm. What about this question.
Suppose a universe with exactly five elements. A set is definied by a formula A, and it turns out that the set has exactly 3 elements. Consider the set defined by A (negation of A). Does this set have exactly 2 elements?
