本文定义了二型序数的概念，并且在聚合公理系统ｚｆｃ上讨论了它们的某些性质，证明了二型序数满足极小元定理和超限归纳原理，由此得出二型序......

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