Zermelo–Fraenkel set theory (source code)

= Zermelo–Fraenkel set theory
{wiki=Zermelo–Fraenkel_set_theory}