[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
608(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/21(木)07:19 ID:L2G86nzK(1/37) AAS
>>397 戻る
”「２）∈を使った順序で、∈に等号（=）を含ませず、極小元を保証しているものだという視点」(>>194)
で、極端な表現として不等号＜を使って書く
・極小元を、x_minとする。∈を、等号（=）を含まない、不等号＜に書き換える
すると
・∃x_min ＜ A ∀y ∈ A (y not＜ x_min) （尾畑）
となる
省13
610(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/21(木)07:20 ID:L2G86nzK(2/37) AAS
>>608
つづき
外部ﾘﾝｸ:ja.wikipedia.org
集合論
(抜粋)
素朴集合論と公理的集合論
集合論の初期の段階では、集合は「普通の意味での」ものの集まりとして導入され考察された。この見方を現在では素朴集合論（そぼくしゅうごうろん、naive set theory）という。 これは集合を理解する上で最もわかりやすい考え方であるが、べき集合などの強力な操作によってパラドックスとも言える状況が現れてしまう。 パラドックスの有名なものとしては、以下のものがあげられる。
省8
624(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/03/21(木)12:55 ID:L2G86nzK(11/37) AAS
>>608 補足
前半に関連記述があった（＾＾
（文字化けがあるので、原文見て下さい）
外部ﾘﾝｸ[pdf]:blacaman.tripod.com
An Introduction to Independence Proofs K KUNEN/キューネン First edition: 1980 Seventh impression: 1999 （藤田 博司 (翻訳)）
P16
§ 7. Ordinals
省20
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.416s*