- 164 名前：１３２人目の素数さん mailto:sage [2021/10/13(水) 10:13:52.85 ID:q1aEYon0.net]
- >>149-153
>>一日考えてくれたんだね
>別人だけど…思い込み激しくね？
なんだ、おサルかい？ｗ
じゃあ、>>140-141のID:DCHm/PTM 氏の方は、納得したのかな？
（>>146より）
誰がいったか忘れたけど、
{}の可算多重を「図形」と考えるなら存在するんじゃね？
(引用終り)
これ、おサルさん、自分の発言だったよ
統合失調症の薬のせいで、忘れたかねｗｗ
あと、>>146の「図形」とか、点とか、点集合、順序など、これら全部ZFC内の集合とみなせるよ
つまり、ZFCで自然集合Nが出来たら、そこから整数Z、有理数Q、有理数のコーシー列で実数Rまでは、すぐ出来る
そして、実数Rを数直線（一次元ユークリッド空間）と見て、そこからR^n (n次元ユークリッド空間)が出来る
ｎ+1次元に埋め込めば、射影座標を使って、射影幾何、つまり、無限遠点も、ZFCの中に対応物が作れる
つまりは、上記全て、ZFCの中の集合として実現できるってことだ
だから、あなたの>146の議論は、 {{{...}}}ωを、ZFCの中のある集合と解釈可能と言っただけのことにすぎない
それは、 {{{...}}}ωを否定する議論ではなく
むしろ、ZFCの中では矛盾しない可能性を言ったことになるよね
> ２）集合論の公理系では「{}の可算多重」が集合だとすると正則性公理と矛盾する
> 別の公理を追加することで矛盾が解消されることはないよ
おサルは愚かだな
「正則性公理を否定すれば良い」ってことだよｗ
アホやな、おサルは
おサルさ、
{{{...}}}ωの議論で、「おまえは、集合論が分かってない」とか言って
必死に他人に、背乗り（せのり＝マウント）して、数学で落ちこぼれた憂さ晴らしをしたんだろうけどさ
”分かってないのはどっちだ？”って
ことですよｗｗｗ
|
 |
