21/12/17 18:27:26.42 nX+c17Vd.net
>>332
＞私のいうωは{{},{{}},{{{}}},{{{{}}},…}という無限集合です
それは全ての自然数の集合であって最初の極限順序数ωではないね
全ての自然数の集合で以てωとするならそれこそがノイマン式であって
もちろん後続順序数はツェルメロ式、極限順序数はノイマン式と定義し分けることはできるよ
（そんな定義に意味があるとも思えないが）
21/12/17 18:27:26.42 nX+c17Vd.net
>>332
＞私のいうωは{{},{{}},{{{}}},{{{{}}},…}という無限集合です
それは全ての自然数の集合であって最初の極限順序数ωではないね
全ての自然数の集合で以てωとするならそれこそがノイマン式であって
もちろん後続順序数はツェルメロ式、極限順序数はノイマン式と定義し分けることはできるよ
（そんな定義に意味があるとも思えないが）