Zermelo's Well-Ordering Theorem

Theorem
Let the Axiom of Choice be accepted.

Then every set is well-orderable.

Also see

 * Zermelo's Well-Ordering Theorem is Equivalent to Axiom of Choice