[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む21 [無断転載禁止]©2ch.net (808ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
737(1): 2016/08/11(木)22:30 ID:j8ttIyO2(14/15) AAS
>>732
> >>730
> >じゃあ最後に確認させてほしい。
> >『決定性公理から導かれる「可算選択公理」により記事のRをQに変えた同値類Q^N/~の代表系を構成することができる。』
>
> Yes
> そう思っている
> 証明は求めないでくれ。証明は考えても良いが、このスレで書く気は無いし
何度でも言うがお前は豪快に間違えている。
証明は求めない。間違いだから。
省2
739: 現代数学の系譜11 ガロア理論を読む 2016/08/11(木)22:52 ID:AONA9sxo(47/47) AAS
>>737
だから、これ以上は無理だろう
お引き取り願いたい と言っているのだ
>> 決定性公理が可算集合しか扱えない非力なものなら、選択公理のオルタナティヴになるはずもない
>可算選択公理は可算な集合族しか扱えない、と言っている。
このすれ違いが理解できないらしい
Tさん、あなたの最善の戦略は、「決定性公理が可算集合しか扱えない非力なもの」であるという文献を探すことだ
その過程で、決定性公理なり基礎論を深く学ぶことになるだろう
そうして得るものがあるはず。勿論、「決定性公理が可算集合しか扱えない非力なもの」に辿り着けばそれで良いだろうが、おそらく逆としても、得るものがあるだろう
逆に、私が「決定性公理で非可算集合を扱える」という文献を探すという手もある（おそらく見つかるだろう）
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.031s