체르멜로-프렝켈 집합론
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