利用超限归纳法,他们可继续下去。
Cargo types: Pu goods, dangerous goods, frozen goods, frozen dangerous goods, valuables, transfinite goods.货种:普货,危险品,冷冻品,冷冻危险品,贵重物品,超限货物。
Let's conditionally generalize principle of transfinite recursion from ordinal number class to class with well-founded relation.借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。