Zermelo–Fraenkel set theory
Over Zermelo–Fraenkel set theory formula_21, formula_1 is equivalent to the Baire category theorem for complete metric spaces.