Discrete mathematics/Axiom of choice

Axiom of choice:

If $f:A\to B$ is a surjective map, then there exists a map $g:B\to A$ such that $f\circ g$ is the identity (trivial) map.

Lemma: Every set can be well-ordered.