ωの降下列は
０∈１∈・・・∈ｎ∈ω　（ｎは自然数）
とならざるを得ない

ωには直前の元がないから

ツェルメロ構成で同様のことを実現する場合
Ωは任意の自然数を要素として持つ必要がある
したがってシングルトンにはなり得ない