Zermelo–Fraenkel set theory
Assuming Zermelo–Fraenkel set theory, including especially the axiom of choice, we can prove the theorem. Remember that we are given formula_24, and we want to show :formula_25