[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
133: 第六天魔王 ◆y7fKJ8VsjM 2019/10/06(日)09:56:39.68 ID:zyaquwkF(8/9) AAS
>>127
>もしΩの存在も示せるというなら示してください。
>それ以前にまずΩを定義して下さい。
まあ、しかし、馬鹿には無理だろう
なぜツェルメロの自然数構成法が放棄されたか
馬鹿には死んでも理解できまい
要するに(超限順序数への）拡張性がなかったわけだな
283(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)10:06:43.68 ID:0oc9Ztsl(11/28) AAS
>>269
＜補足参考＞
従属選択公理(axiom of dependent choice)は、ADCか
外部ﾘﾝｸ[html]:alg-d.com
従属選択公理について 壱大整域 2013年10月25日
(抜粋)
定義 次の命題を従属選択公理(axiom of dependent choice)という．
省21
335(1): ID:1lEWVa2s 2019/10/13(日)17:47:06.68 ID:BCKVKYa1(2/31) AAS
>>333
何が必要かは宿題だ
何故この仕事が必要かは宿題だ
考えとけよ馬鹿キチガイ
500: 2019/11/27(水)21:11:28.68 ID:a+X14gpa(6/6) AAS
動画ﾘﾝｸ[YouTube]
608(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/06(金)00:18:11.68 ID:eTcHIROk(1/3) AAS
>>607
１．ノイマン構成で、ノイマン構成の後者関数で、空集合から後者を順に作って行く
そうして、無限公理により、全ての後者を含む無限集合の存在を認める
この無限集合は、自然数Nより過剰の要素を含んでいるので、余分な後者、それは自然数の構成に必要な要素（＝有限な要素）以外の要素を除きます
従って、余分な後者とは、有限ではない要素ですよね
２．同じ事を、Zermelo 構成の後者関数で行う。空集合から後者を順に作って行く
そうして、無限公理により、全ての後者を含む無限集合の存在を認める
省6
632: 2019/12/07(土)15:13:19.68 ID:xYeMsbxM(1/3) AAS
contains = 含む
の意味が取れてないですね。
817: 2019/12/16(月)18:00:05.68 ID:KLi/sOo0(4/5) AAS
>>809
そういえば、>>815の
>任意の整数より大きい実数は存在する。同じく、任意の整数より小さい実数も存在する。
の後の行に
>任意の実数より大きい整数は存在する。同じく、任意の実数より小さい整数も存在する。
も付け加えておく。
あとは実数の連結性からすぐ分かることだが、
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s