recursive ordinal

countable ordinal that is the order type of a computable subset of the natural numbers

en-GB/ɹɪkɜːsɪv ˈɔːdɪnl/
en-US/ɹɪˈkɝsɪv ˈɑɹdənəl/

カテゴリ：

ordinal number