체르멜로-프렝켈 집합론
Over Zermelo–Fraenkel set theory formula_21, formula_1 is equivalent to the Baire category theorem for complete metric spaces.