A version of Set Theory which is a formal system expressed in first-order predicate Logic. Zermelo-Fraenkel set theory is based on the Zermelo-Fraenkel Axioms.