17/08/09 06:27:40.90 bM/5YfPT.net
>>528の補足説明
>>136に戻る
引用>>136より
”さて、「整列可能定理が否定されると、選択公理が否定される」は言えるのに・・
フェルマーの最終定理やゴールドバッハの予想との違いは？ 分かりますか？
分かんねーだろうね
ピエロくんの頭じゃね（＾＾”
＜補足説明＞
１．まず、「3.1 集合(ベン図)による説明」 URLﾘﾝｸ(yama-taku.science) 論理と集合の基本5|「逆，裏，対偶」と対偶の利用 合格タクティクス 2015.12.20 >>524 を見て下さい
２．全体集合Uとして、ZFC公理系が成り立つ”宇宙 (数学)”とする。選択公理Cは当然U全体で成り立つ。∵公理だから当然。
３．整列可能定理の適用範囲も、U全体だ。従って、整列可能定理の否定は、つまり、ベン図で言えば、Uの否定つまりUの外あるいは、Uの内なら空集合だ
４．こういう場合に、「整列可能定理が否定されると、選択公理が否定される」は言えるのだ
５．が、フェルマーの最終定理やゴールドバッハの予想は、そうではない。時枝記事もそうではない！！（＾＾
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
(抜粋)
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
目次 [非表示]
1 ある特定の文脈において
2 通常の数学
3 集合論
4 圏論
5 関連項目
(引用終り)