Well-ordering theorem
Proof from axiom of choice
The well-ordering theorem follows from the axiom of choice as follows.[9]
Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.　
For every ordinal α, define an element aα that is in A by setting
aα= f(A-{aξ|ξ<α})
if this complement A-{aξ|ξ<α} is nonempty, or leave aα undefined if it is.
That is, aα is chosen from the set of elements of A that have not yet been assigned a place in the ordering (or undefined if the entirety of A has been successfully enumerated).
Then the order < on A defined by aα<aβ if and only if α<β (in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α|aα is defined}.

as desired
×好きなように（整列できる）←英語が読めないバカ
〇望み通り（整列順序である）