Zermelo-Fraenkel Set Theory

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.

See also Logic, Set Theory, Zermelo-Fraenkel Axioms, Zermelo Set Theory