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