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

All of \(a\), \(n\), and \(\alpha_i\) are natural numbers. It might be confusing, but \(OT\) is a subset of \(\mathbb{N}\).