If $X$ is any set whatsoever, then there exists a well-ordering of $X$ . The well-ordering theorem is equivalent to the Axiom of Choice.