19/10/06 13:26:06.86 d8OQiN+r.net
>>159 つづき
なので、正則性公理にいう
”無限下降列である x∋x1∋x2∋・・・ ”は
底抜けの最小元を持たない無限単調減少列の意味ですね（＾＾
これを、取り違えて
最小元を持つ、順序数の無限列に適用して、
「正則性公理に反する」とかは、いけませんね（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
正則性公理
(抜粋)
以下の4つの主張はいずれも同値であり、どれを正則性の公理として採用しても差し支えない。
・任意の空でない集合xに対して、∃y∈x,x∩y=0
・∀xについて、∈がx上well-founded
・∀xについて、無限下降列である x∋x1∋x2∋・・・ は存在しない。
(引用終り)