Zermelo–Fraenkel set theory
Zermelo–Fraenkel set theory with the axiom of choice