摘要
本文定义了二型序数的概念 ,并且在聚合公理系统 z Fc上讨论了它们的某些性质 ,证明了二型序数满足极小元定理和超限归纳原理 .由此得出二型序数理论是序数理论的推广 .
In this paper,we introduce a definition of two type ordinal numbers, and discuss some properties of them on ZFc conglomerate axiomatic system[3].The paper shows that the two type ordinal numbers satisfy the Minimal Element Theorem and the Principle of Transfinite Induction.We can conclude that the two-type ordinal number theory is a extension of the ordinal number theory.
出处
《数学杂志》
CSCD
2000年第2期193-196,共4页
Journal of Mathematics
基金
国家自然科学基金!资助项目 (198710 74 )
关键词
聚合
序数
二型序数
良基关系
良序关系
conglomerate
ordinal number
two-type ordinal number
founded ralation
