List of ZFC axioms.
There exist a set such that no set is an element of it.
\exists A \forall a (a \not \in A).