借助一阶逻辑演算有条件也把超限递归原理从序数类推广到具有良基关系的类上。...

证明了二型序数具有如下性质：对任一二型类良序结构［A,R］，存在惟一的二型序数B，使得［B,E］与［A,R］同构，特别地对良序聚会［A,R］，存在惟一的二型序......