A controversial axiom in set theory which allows the construction of sets without specifying their elements.