I thought about this while answering this question. To restate my question:

Suppose that our axioms are such that a set $X$ exists satisfying $X = \{X\}$. Might it be consistent that there are multiple sets satisfying this property? Are there (well-known) axioms that guarantee existence and uniqueness?

My motivating intuition here is that in most cases, enumerating the elements of a set uniquely defines the set. For example, I'm tempted to say that the set $\{1,2,3\}$ is unique "because we've enumerated all of its elements". Does this intuition completely fail for these stranger sets?


Such sets are called Quine atoms - see https://mathoverflow.net/questions/33282/can-we-have-a-a. In ZFC, no Quine atoms exist; in Aczel's set theory, exactly one Quine atom exists; and in general we can have lots of distinct Quine atoms in NF-like set theories.

  • $\begingroup$ Well, that really covers it. Thanks! $\endgroup$ – Omnomnomnom Sep 21 '15 at 16:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.