Nを自然数全体の集合としたとき、方程式 x∈N の解は自然数。
したがって、N∋x∋…∋1∋0 の形の列は有限列。
したがって、Nは正則性公理に適合する。

一方
>ω:={{・・・{}・・・}}({}が加算多重になった集合と定義する。nは自然数Ｎの全てを渡る)
なるωを仮に集合と見做すと、一番外側のカッコを外したものもω、つまりω={ω}だから、ω∋ω∋… なる無限下降列を持つ。
したがって正則性公理に違反する。

なんでこんな簡単なことが分からないの？　脳に欠陥でもあるの？