Zermelo set theory noun1 •An early and influential axiomatisation of set theory.Z is a formal specification language founded on Zermelo set theory. — 2006
