[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
235(3): 2019/10/10(木)11:35 ID:64e05J/b(4/5) AAS
>>233
結構ですよ。
証明はわからないがこんな結果はあるというなら使っていただいて結構です。
少なくとも私は順序数に符合付ける方法
Z(0),Z(1),‥,Z(ω),Z(ω+1),‥
で
Z(0)=0
省9
240: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/10(木)20:21 ID:JCH5uyU5(4/7) AAS
>>239
(引用開始)
>しばし待てば定義を与える
詐欺師が約束守る訳ないじゃんｗ
この詐欺師、今まで何度約束を破ったことかｗ
(引用終り)
？
省10
242(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/10(木)20:36 ID:JCH5uyU5(5/7) AAS
>>236-237
そもそも、>>235って、論点ずれていると思うよ
>>236-237に引用したように
１）そもそも、無限にもいろいろありましてｗ
無限を扱う公理の強さによって、多種の無限が生じ、区別ができないこともある
２）その中で、ZFCのフルパワー選択公理を採用すれば
デデキント無限などで、可算無限は、一意に決まるのです（整列可能定理でもありますし）
省15
254: 2019/10/11(金)06:59 ID:6s83KSTC(3/9) AAS
{…{∅}…}（無限個の｛｝）を正当化するのに
ノンスタンダードモデルを持ち出したのなら
見当違いも甚だしいな
そのモデルにおいては自然数、つまり「有限」だろう？
>>235は、ツェルメロの自然数n’の延長として
極限順序数ω’を、{…{∅}…}として構成するなら
どうやって定義するのか、尋ねてる
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s