递归序数

recursive ordinal