Under the Zermelo–Fraenkel approach, the axioms impede the construction of a set of all sets which do not belong to themselves.