[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
287(3): 2019/10/12(土)10:30 ID:zrApsl4A(1) AAS
>>275みたいに全部数式だと無理なのかな？
長さに上限がないとすると各自然数に対して
Ω=x11
Ω=x21∋x22
Ω=x32∋x32∋x33
Ω=x41∋x42∋x43∋x44
‥‥
省6
288(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)11:56 ID:0oc9Ztsl(13/28) AAS
>>287
申し訳ないが、意味が取れない
１）下記、Zermelo (1908b) ”(b) the existence, for any object a, of the singleton set {a} which has a as its sole member”
２）これは、>>175の通り、ZFCでは、対の公理で「a → {a}」が言える
３）で、Zermelo (1908b)では正則性公理は、無かった（∵1925年にジョン・フォン・ノイマンによって導入された）
４）しかし、ZFCの対の公理による「a → {a}」の the singleton set {a}生成 に、正則性公理からの規制（有限回に限られる？）があると、そういう話はないでしょ？
じゃ、ZFCの対の公理による「a → {a}」の the singleton set {a}生成が、これの超限回繰返しが可能なわけですよね
省17
290: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)13:52 ID:0oc9Ztsl(14/28) AAS
>>289
（>>287において）
１）定義が無い。 x11とは？ これは何ですか？
２）Ω=x11、Ω=x21∋x22？ これは何ですか？
「Ω=x11」と「Ω=x21∋x22」とで、二つのΩは別ものですよね、明らかに。これ、記号の濫用ですか？
３）x11∋x22∋x33∋‥‥？ これは何ですか？
例えば、「x11∋x22」の証明は？ 略証でもいいけど
291(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)13:59 ID:0oc9Ztsl(15/28) AAS
>>288
> ２）これは、>>175の通り、ZFCでは、対の公理で「a → {a}」が言える
補足
繰返すが、どんな集合であれ、対の公理で「a → {a}」が言えるのです
これは、公理だから、無制限に成立します（有限に限らない）
aが、たとえ無限集合でも、まとめて、the singleton set {a} にできる
回数は、無制限です
省19
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s