17/09/20 19:01:46.52 uRsWiJsb.net
>>383
>あなた方が、
>決定番号dの集合Dが集合として無限集合であることと、
>d∈D で任意のdが有限であることの区別が出来ていない
>ってだけのことだ
無限公理を受け入れる「正統」な立場では
「有限なd全てを要素とし、
そうでないものは要素としない
集合Dの存在」
を認めます
>つまり∞を要素として考えるか否かは、定義の問題で
>下記拡大実数や超実数まで考えるか否かだけの話だよ
「拡大自然数」全体の集合N'は、
自然数全体の集合Nとは異なります
N'は、無限公理を満たしませんから
無限公理
0∈N∧∀x(x∈N⇒x+1∈N)
しかしあなたの「拡大自然数」∞については
∞∈N'∧not(∞+1∈N')
ですから、N'は無限公理を満たしません
>私は、現段階では、∞を要素として導入していない
自然数全体Nに∞を添加する集合N'を
「無限公理を満たす集合」とすることは
いかなる段階でも不可能です
>しかし、あなた方は、その区別
>（決定番号dの集合Dが集合として無限集合であることと、
> ∞を要素として導入することの区別）
>が数学的思考として、整理出来ていないだけのこと
∞を追加した瞬間、その集合は無限公理を満たさなくなります
このことは誰にも否定できません
そして、Nを無限公理を満たす集合とするのが「正統」な立場です
し�