遵义方言的数词可分为基数词、概数词和序数词。
Let's conditionally generalize principle of transfinite recursion from ordinal number class to class with well-founded relation.借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。
During the single dot cross operation, import the athuard ordinal number arrow, simplify the cross operation of the natural sequence.在单点交叉过程中引入了逆序数向量进行交叉,简化了自然数序列的交叉过程。