 Solution

This assertion is false. Set $\alpha =1$ and $\beta ={\omega }_1$. The limit recursion givesEvery term is countable, and they are cofinal in the first uncountable ordinal. Yet $\alpha =1$ is neither zero nor ${\omega }_1$.