I am working on a philosophical paper and it would help my research if you would answer a simple test question: in ZF one can prove $\not\exists x (\forall y (y\in x)),$ how do you translate this statement in English? Feel free to give more than one answer, if you want to.