有序递归式

ordinal recursion