$$\exists b:\forall
a: a\in b \iff a\not\in a$$