Zermelo–Fraenkel set theory
in Zermelo–Fraenkel set theory, one would write