# Does the set of all sets that contain themselves contain itself?

We always hear about the paradox of the set of all sets that don't contain themselves and whether it contains itself or not. What about the set of all sets that do contain themselves? Is that an alligator paradox?

(Assume that you don't have the axiom of regularity, by the way.)

-

In the usual set of axioms of set theory, ZFC, this is the empty set. That is no set contains itself. It is immediate that $\varnothing\notin\varnothing$.

If we consider ZF without the axiom of regularity, it is consistent that the collection of sets of the form $x=\{x\}$ is a proper class (i.e. definable, but not a set, much like the Russell class). In which case this is not even a set.

But suppose that there is only one set which contains itself, $x=\{x\}$ then the set of all sets which contain themselves is $\{x\}=x$. It must contain itself! But if the set which contains itself is $y=\{y,\varnothing\}$ then the set of sets which contain themselves is $Y=\{y\}\neq y$ and $Y\notin Y$.

If we analyze the proof of the Russell paradox in this case we have that:

If $X=\{x\mid x\in x\}$ is a set, then either $X\in X$ in which case $X\in X$; or $X\notin X$ in which case $X\notin X$.

There is no problem with either case.

-
(Included for OP's benefit) Sets of the form $x = \{ x \}$ are called Quine atoms. – Clive Newstead Jan 6 '13 at 15:18

In ZF(C) it is a theorem that $\forall x(x\notin x)$: no set has itself as a member. Thus, $\{x:x\in x\}=\varnothing$. And $\varnothing\notin\varnothing$, so the set of all sets that do contain themselves is not such a set.

-

I get to use the two element model again!

Depending on your axiom such sets may or may not exist.

There is a two element model of union, pairing, comprehension, and foundation such that $y \in y$. (If you like, you can ignore foundation.)

For example, let $M = \{x, y\}$ and $\in^\mathcal{M} = \{(x,y), (y,y)\}$. You can verify all the axiom stated above. In this model, there exists a set $y$ such that $y \in y$.

Also if you are familiar with Russel's paradox, the set of all $\{x : x \notin x\}$ is also a set in this model. The whole universe $V = y$ is also a set in this model $\mathcal{M}$.

Of course, if you look at any of the other answers, the full $ZF$ axions prove that such sets do not exist.

-