[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 (768ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
653(1): １３２人目の素数さん [] 2018/12/30(日) 08:47:25.05 ID:Fgu/mMxZ(7/17) AAS
ついでにいえば、狭義の時枝戦略における
同値類の代表元の存在を否定するには
非可算選択公理を否定すればいいだけなので
可算選択公理は成立しても問題ない
これでスレ主の
「可算選択公理を否定したら数学が弱体化」
とかいう言い訳も無意味化された
（もっとも>>649でそもそも選択公理の否定自体
時枝戦略の本質的な否定にならないことは
既に言及済だが）
656(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2018/12/30(日) 08:51:40.07 ID:A4Yw8jtX(6/8) AAS
>>653
結構結構。>>652に含まれることを、自分で書いてくれて
自分で逃げ道を塞いでくれているので、簡単で助かるよ
でも、念のため、>>652にもレスしておくれ（＾＾
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.037s