>>636 補足

”「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから”
は間違い

”真の無限降下列をもたない”ってことね
”ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。”は、説明不足だが、∈による二項関係で、真の”真の無限降下列をもたない”というのが、正則性の公理
詳しくは、下記の渕野 昌先生を見て下さい（＾＾；


https://fuchino（URLがNGなので、キーワードでググれ（＾＾ ）
基礎の公理の成り立たない集合論 (non well-founded set theory) について 渕野 昌(Sakae Fuchino) Last modified: Sat Aug 13
(抜粋)
なぜだかは分らない が，∈-無限下降列に対して病的な興味を示す素人数学者が後をたたないからで ある．
私の知っている例でも，体系の言語で記述される（内的な）無限降下列 とモデルでの無限降下列の区別さえ定かでないような，∈ の整列性を仮定し ない集合論に関するあやしげな博士論文が，集合論以外の専門の数学者による 審査で通ってしまった，という，ある旧帝国大学*2での最近の事例がある．
こ のような不愉快な傾向に拍車をかけるようなまねはくれぐれもやめてほしい， と強く希望する次第である．

基礎の公理 (Axiom of Foundation) は，

(1)
すべての集合 x に対し，x の要素で， ∈ （の transitive closure として得られる（前）順序）に関して極小なものが存在する
ことを主張するものです．この公理により，∈-列のループ（特に長さが 1 のループ x ∈ x）や， ∈ に関する無限下降列 x1 ∋ x2 ∋ x3 ∋ ・・・ が存在しないことなどが帰結されます．