[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

301(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/12(土)17:05 ID:0oc9Ztsl(22/28)調 AAS
>>300

ちょっと意味がとれない

１）>>295より（坪井明人 筑波大）”正則性公理は、「空でない集合 x には ∈ に関して極小となる元 z ∈ x があること」です”は、いいですか？
２）「Ω=x1∋x2∋x3」に対し、
　上記の”数理論理学ＩＩ 坪井明人 筑波大”の「大小」の意味（”極小となる”などの表現）で
　大小記号”＞”を流用して表現しますと
　”x1＞x2＞x3”と、通常の自然数の大小関係が逆転した表現になるということの理解は、良いですか？
３）確かに、別に表記は何でも言いとは言える。例えば
　Ω = x1(=xｧ) ∋ x2(=xｨ) ∋ x3(=xｩ)
　と、半角の小カナ ｧ、ｨ、ｩ でも何でも、名付けを変換しても同じです。数学の本質は不変です
４）ですが、自然数”1、2、3・・”の通常の大小関係を逆転し、錯覚させる表記は、”百害あって一利無し”と思いますよ！（というか、自分が何か錯覚していませんか？）

以上

---

302(2): 2019/10/12(土)17:14 ID:Vy+smElV(2/8)調 AAS
>>301
当面正則性の公理なんて関係ありません。
主張しようとしてるのは
>>275の主張

{n | ∃xn‥∈ x3∈ x2∈x1, Ω=x1}

には最大値が存在する。

です。
そこで背理法を使ってるんですよ。
焦らず一歩づついきましょう。
もしこの結論を否定するとそれから

X[m]={(x1,x2,‥,xm) | x1=Ω, x[i]∋x[i+1]}

が全てのmについて空集合とならない事が導かれるという主張なんです。
ここまででどこが納得いきませんか？

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.030s