关于序数定义的等价性问题

序数理论是良序集的一个本质理论,关于序数概念,一些数学家都曾以不同形式予以定义,其定义分别如下: 定义Ⅰ(冯·诺依曼定义)具有∈三歧性的可传递集合称作序数。 定义Ⅱ(策墨罗定义)序数可归纳定义如下: (a)○是序数, (b)若a是一序数,则a~+是一序数。