The first three axioms imply the existence of the empty class and the class of all sets: The membership axiom implies the existence of a class formula_84 The intersection and complement axioms imply the existence of formula_85, which is empty.