[過去ログ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
558
(3): 2017/08/09(水)18:52 ID:OWBfmAtB(6/7) AAS
>>548
>(>>539の)証明もどきには、
>”中学で習う定義域の概念を分かってないから>>1以下だろ”
>という突っ込みが入っていただろ?

Eq2,Fnに関する箇所なら、以下の修正が可能

A:非可算選択公理
Eq1:時枝問題(例えばR^Nに対して)の数列の同値類の設定
Lm1:時枝問題の同値類の代表列&決定番号(自然数)
(A & Eq1) → Lm1

Max:n個の自然数から無作為に1個を選んだ場合
省14
559
(1): 2017/08/09(水)18:54 ID:OWBfmAtB(7/7) AAS
>>550
>無限が話題になっているので、関連部分引用

>>1は現代集合論を全く知らんidiotだから仕方ないが
無限集合ωの存在を無限公理で認めて
そのベキ集合2^ωをベキ集合の公理で認めても
それだけでは、2^ωが整列可能とはいえない

「2^ωの整列可能性」はZFにおける決定不能命題

そして
ACが公理⇒全ての集合(もちろん2^ωも)が整列可能
だから
省8
1-
あと 122 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.013s