info prev up next book cdrom email home

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

© 1996-9 Eric W. Weisstein