Zermeloの順序数構成方法でも、なぜωがシングルトンでないのか
それはωより小さい順序数の最大値が存在しないからである
Zermeloの順序数構成方法でも、ωの要素内の最大値は存在しない
（したがってωは無限集合である　一般に極限順序数は無限集合である）