[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)

現代数学の系譜　カントル　超限集合論 http://rio2016.5ch.net/test/read.cgi/math/1570237031/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

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

---

201: 第六天魔王 ◆y7fKJ8VsjM [] 2019/10/07(月) 19:12:33.19 ID:rpPbPz0q >>193 >１）ツェルメロ構成での任意aの後者関数； >　suc(a) := {a}による構成は、正則性公理に反しない >　たとえ、それで無限上昇列が出来ても、ということは認めますか？ Y/N Y >２）ツェルメロ構成での任意aの後者関数；suc(a) := {a}による構成で、 >　無限公理を適用して、自然数ｎをすべて含む無限集合が出来たとき、 >　それはいわゆる自然数Nよりも、余計な元、 >　即ち、超限順序数に属するべき（有限でない）元が >　生成され、含まれていることに同意しますか？ Y/N Y >>195 >では、この超限順序数に属するべき（有限でない）元とは、何なのでしょうか？ 馬鹿が考えるような{…{}…}ではないけどな >ツェルメロ構成でできる集合は、任意aの後者関数；suc(a) := {a}以外は無いですね 相変わらず底抜けの馬鹿だな、貴様はｗｗｗｗｗｗｗ {}∈X∧(∀x∈X⇒{x}∈X)　 （Xは空集合を要素とし、xがXの要素なら{x}もXの要素である） という条件を満たすXについて 「ｙがXの要素なら、yは空集合か 　y={x}で、Xの要素となるxが存在する」 ∀y.((y∈X⇒y={}∨∃x.({x}=y∧x∈X))　 とか思ってるだろ？ｗ そこが馬鹿だというんだよｗｗｗ 実際には 「Xの空集合でないyで、 　Xのいかなる要素xについても 　{x}=yとならないものが存在する」 ∃y.(y∈X∧¬(y={})∧∀x.(x∈X⇒¬({x}=y)) が成立しても矛盾はない つまり >超限順序数に属するべき（有限でない）元、それは、消去法で、 >超限回の空集合Φに対する後者関数による超限多重集合 {・・{Φ}・・}（ω＋アルファ回{}多重） >でなければならない なんてことはいえない 「縁なき衆生は度し難し」 >それはお認めになるんですよね？ 認めねぇよ　この大馬鹿者めｗｗｗｗｗｗｗ http://rio2016.5ch.net/test/read.cgi/math/1570237031/201

---

ﾒﾓ帳

(0/65535文字)

---

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

---

あと 801 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.023s