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

The paper[1] constructs the conglomerate axiom system ACG in order to research the base of Category Theory.This paper co......

在聚合公理系统ＣＯＧ的布尔值模型∧＾Ｂ中，证明了二型序数和二型基数的一些性质。...

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