Zermelo–Fraenkel set theory
The axiom of choice, or some weaker version of it, is needed to prove this theorem in Zermelo–Fraenkel set theory.