 Later versions of set theory often assume that all objects are sets so there are no urelements and there is no need for the unary predicate.The most widely used and accepted set theory is known as ZFC, which consists of Zermelo–Fraenkel set theory with the addition of the axiom of choice.The links show where the axioms of Zermelo's theory correspond.