Zermelo–Fraenkel set theory
Relation to Zermelo–Fraenkel set theory.