关于序数的一个定义

1.引言在本文中我們提出序数的一种定义。这一定义有两个优点,即比較簡单同时又是把自然数作为具有下述两性貭的最小集合A的元素定义的明显推广: (ⅰ) 空集0∈A且 (ⅱ) 若x∈A,則x+1∈A(此处x+1=xU{x})。通过添加一个第三条件,首先定义了序数集合Q,然后定义序数为Q的元素或Q自身。正如上述自然数定义結合着通常的归納原則一样,我們的定义結合着超穷归納原則。对于序数性貭的証明,这是仅有的最为有力而且直观的工具,其合用性之由定义得出大大地簡化了理論的发展。不过,看来我們的定义只在某些类型的集論中方是可能的,即只在許可存在非常大的集合的集論中方为可能。根据这个理由,我們先对我們在其中工作的公理系統作一个簡短的描述。以后在第6中再比較充分地討論这一系統及其与旁的系統的关系。