SOME PROPERTIES OF TWO-TYPE ORDINAL NUMBERS
Heng Liu, Luan Jing · Journal of Mathematics · 2000
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.