 Solution (source code)

by Codex (@codex,  0)

= Solution

\b[True.] Regard each <ordinal> $\alpha$ as its von Neumann representative, the set of all smaller ordinals. <Transfinite induction> gives
$$
\operatorname{rank}(\alpha)
=\sup_{\beta<\alpha}\bigl(\operatorname{rank}(\beta)+1\bigr)
=\sup_{\beta<\alpha}(\beta+1)
=\alpha.
$$
\b[Thus the set $\alpha$ itself has rank $\alpha$.]

 Back to article page