Proving implication on well ordered set implies AC

78 Views Asked by At

Consider the following statement:

If $A$ is a well-ordered set such that every nonempty subset of $A$ has a maximal element, then $A$ is finite.

I am trying to prove that this statement implies the axiom of choice. I'm somewhat confused on how to approach this question without having the ability to well order sets.