체르멜로-프렝켈 집합론
The axiom of choice, or some weaker version of it, is needed to prove this theorem in Zermelo–Fraenkel set theory.