- 60 名前：１３２人目の素数さん [2025/02/02(日) 22:29:41.72 ID:7z4Dw9JT.net]
- >>50
>・それ、自爆発言ですね
それが君
>・自ら、>>47のJechの証明 あるいは >>14の alg-d 壱大整域氏 の証明が
> ちゃんと 理解出来ていないと 自白しているに 等しい！ｗ
それが君
>・もし ちゃんと 理解出来ているならば
> 選択公理（選択関数）には 大きな自由度（任意度）があるのが分るはずです
選択公理とは「空でない集合の空でない族の直積は空でない」である。
つまり、直積の何らかの元が存在すると主張している。これは論理記号で書けば∃fであって∀fではない。
大きな任意度があーと言ってる君は∃と∀の区別が分かってないだけ。
そこが分からないから大学一年4月に落ちこぼれたんだよ。
