say what?

If S is a member of itself, then by definition it must not be a member of itself. Similarly, if S is not a member of itself, then by definition it must be a member of itself.