The continuum hypothesis is independent of the axiom of choice.