19/10/05 10:16:54.46 JrhjRl4x.net
>>4
つづき
１）の論点の
「正則性公理(>>16)は、無限下降列である x∋x1∋x2∋・・・ を禁止する
が、無限上昇列を禁止するものではない」
について
ノイマン構成の∈の2項関係の列
0∈1∈2∈3∈・・・∈n∈n+1・・・ ∈N＝ω
これは、正則性公理には反しない
これは、当たり前。無限上昇列を禁止したら、現代数学の公理系としては機能しない
そして、無限上昇列が出来たら、それを逆に辿る、無限下降列でしょ
それとの折り合いをどうつけるか？
ID:kZwmbLNIさんは
現代数学はインチキのデパート
ｽﾚﾘﾝｸ(math板:23番)-24
(抜粋)
ｍ∈Nで、ｍは自然数であるなら
0∈1∈2∈3∈・・・∈n∈n+1・・・m∈N＝ω
は”明らかに”有限長です。
(引用終り)
と解釈することで折り合いを付けた
ここは、ちょっと異論があるのですが、後で（＾＾
つづく