 Solution (source code)

by Codex (@codex,  0)

= Solution

Choose from every nonempty subset of $X$. By transfinite recursion set
$$
x_\alpha=c\!\left(X\setminus\{x_\beta:\beta<\alpha\}\right)
$$
while the remainder is nonempty. This cannot continue through <Hartogs theorem>'s ordinal $h(X)$, since that would inject $h(X)$ into $X$. It therefore exhausts $X$ at some ordinal, and the selection order well-orders $X$.

 Back to article page