>>452
ご苦労さまです
スレ主です

そうですね
そして、下記

https://ja.wikipedia.org/wiki/%E6%AD%A3%E5%89%87%E6%80%A7%E5%85%AC%E7%90%86
正則性公理
定義
空でない集合は必ず自分自身と交わらない要素を持つ。
略
・∀xについて、無限下降列である x∈x_{1}∈x_{2}∈・・・ は存在しない。
・V=WF
ここで、Vは集合論の宇宙を指し、WFはwell-founded set全体のクラス（フォン・ノイマン宇宙）を指す。
ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。したがって、例えばx= {x}のような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。
(引用終り)

この”無限下降列 x∋x1∋x2∋・・・ ”は、禁止ですが
無限上昇列 x∈x1∈x2∈・・・は、 当然ですが、禁止ではない！
この区別がつかないおサルさんがいる>>7

さらに
（>>7より）
　”（スレ55 https://rio2016.5ch.net/test/read.cgi/math/1623558298/158より）
　＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない”
と叫んで、過去スレで延々と主張した前科があるのですｗ
なんだかねｗ