Fixed point of a normal ordinal function ($f(\alpha )=\alpha$)

For a strictly increasing ordinal class function continuous at limits, start with ${\alpha }_0=0$ and iterate ${\alpha }_{n+1}=f({\alpha }_n)$. If the sequence stabilizes, its stable value is a fixed point. Otherwise its supremum $\alpha$ is a limit and continuity gives $f(\alpha )={\sup }_{n}f({\alpha }_n)={\sup }_n{\alpha }_{n+1}=\alpha$. Starting the iteration above any prescribed ordinal gives arbitrarily large fixed points.

If a normal ordinal function defined on all ordinals begins at a countable value and preserves countability from $\Phi (\xi )$ to $\Phi (\xi +1)$, transfinite induction shows it maps all countable ordinals to countable ordinals. At countable limits this uses countable unions of countable sets, hence axiom of countable choice in the usual proof. Iteration from zero either stabilizes at a countable fixed point or has a countable limit fixed by continuity. Applying this to ${\omega }^{\alpha }$ gives the countable epsilon number ${ϵ}_0$.