User blog comment:P進大好きbot/New Notation up to Church-Kleene Ordinal/@comment-36540075-20191128200556

I'm a bit confused... are both arguments $a$ and $n$ of $f_a(n)$ natural numbers? My understanding is that $\alpha_i$ is an ordinal, but $f_a$ is only defined for natural numbers $a$.