Definition and Existence Theorem of the Concept of Ordinal Numbers
Yoshifumi Ito · Institutional Repositories DataBase (IRDB) · 2014
In this paper, we give the new definition of the concept of ordinal numbers and prove its existence theorem on the basis of the ZFC set theory. This is the generalization of Peano's system of axioms of finite ordinal numbers.