Let's conditionally generalize principle of transfinite recursion from ordinal number class to class with well-founded relation.
借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。
Ordered element constituant , relation between combinational element and ordinal number and the calculating formula are expounded in this paper.
讨论有序元素的组合； 组合元素和序数的关系以及计算公式。
应用推荐