[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
264(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/11(金)10:48 ID:RRsRScoq(4/4) AAS
>>262
念押しな（＾＾
(引用開始)
可算選択公理を仮定した無限との同値性の証明
デデキント無限集合が無限であることはZFで容易に証明される。実際、任意の有限集合はある有限順序数と等濃であって、有限順序数がデデキント有限であることは帰納法により証明できる。
可算選択公理を用いることによって、その逆が証明できる。つまり、無限集合はデデキント無限である
(引用終り)
265: 2019/10/11(金)11:02 ID:YULRpgNc(1/2) AAS
>>264
からの何が言いたいん？
267: 第六天魔王 ◆y7fKJ8VsjM 2019/10/11(金)19:05 ID:6s83KSTC(8/9) AAS
>>262 >>264
やれやれ、馬鹿は全然理解してないくせに
二言目には選択公理と絶叫する悪癖があるなｗ
だいたい、聞かれてるのはωにあたる
ツェルメロ構成の集合をどうやって
定義するかだろ
何の考えもなく
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s