[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
537(4): ｝現代数学の系譜 古典ガロア理論を読む 2017/08/09(水)06:27 ID:bM/5YfPT(3/18) AAS
>>528の補足説明
>>136に戻る
引用>>136より
”さて、「整列可能定理が否定されると、選択公理が否定される」は言えるのに・・
フェルマーの最終定理やゴールドバッハの予想との違いは？ 分かりますか？
分かんねーだろうね
ピエロくんの頭じゃね（＾＾”
＜補足説明＞
１．まず、「3.1 集合(ベン図)による説明」 外部ﾘﾝｸ:yama-taku.science 論理と集合の基本5|「逆，裏，対偶」と対偶の利用 合格タクティクス 2015.12.20 >>524 を見て下さい
２．全体集合Uとして、ZFC公理系が成り立つ”宇宙 (数学)”とする。選択公理Cは当然U全体で成り立つ。∵公理だから当然。
３．整列可能定理の適用範囲も、U全体だ。従って、整列可能定理の否定は、つまり、ベン図で言えば、Uの否定つまりUの外あるいは、Uの内なら空集合だ
４．こういう場合に、「整列可能定理が否定されると、選択公理が否定される」は言えるのだ
５．が、フェルマーの最終定理やゴールドバッハの予想は、そうではない。時枝記事もそうではない！！（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
(抜粋)
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、英: Universe）とは議論領域のことである。
数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
目次 [非表示]
1 ある特定の文脈において
2 通常の数学
3 集合論
4 圏論
5 関連項目
(引用終り)
上下前次1-新書関写板覧索設栞歴
あと 144 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s