[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
563(1): 2020/03/21(土)13:10 ID:Ysr8avom(1) AAS
>>558
> ”そのような有限の決定番号dが存在する”というところが、
> 数学的に怪しい雰囲気だってことです
この馬鹿は選択公理を否定したいのか？
決定番号はその定義から自然数である。（言うまでもなく自然数は有限値）
この定義を無力化するには代表の存在を否定するしかない。それには選択公理を否定するしかない。
564(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/03/21(土)19:29 ID:gPebnXHG(4/13) AAS
>>563
くっくっくっ
おサルは選択公理が分かっていないなｗ(゜ロ゜；
定義（下記より）
選択公理：空集合を要素に持たない任意の集合族に対して、各要素（それ自体が集合である）から一つずつその要素を選び、新しい集合を作ることができる
さて、ここに 集合族が有限なら有限集合の族に対する選択公理（以下有限選択公理と称する）、可算なら可算選択公理、可算超えならフルパワー選択公理だ
いま同値類が１つあり代表を1つ選ぶだけなら、有限選択公理で間に合う
省18
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s