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

---

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

---

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

---

202: 2020/09/24(木)06:23:08.56 ID:H6sqOdXp(1) AAS
◆yH25M02vWFhP の戦果ｗ

正規部分群の定義の誤読で悶死
「箱入り無数目」の誤読で悶死
集合の∈と⊂の誤解で悶死
そして行列式の誤解で悶死

もう四回目だぞ、何回死んだら気が済むんだ？

この🐎🦌タレが！

---

228: 2020/10/12(月)09:00:18.56 ID:iRW0qWtH(5/6) AAS
>>227
才能も「情緒障害」みたいなもんだｗ

---

241: 2020/11/02(月)08:01:03.56 ID:PUodusEe(5/6) AAS
2chｽﾚ:math
718　現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/02(月) 07:06:47.73ID:YSe1lExr>>719

１．自然数のノイマン構成(706)で、”無限公理”を適用して、可算無限集合 つまりは自然数の集合N（順序数ω）が構成できたとする
２．0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), S(S(S(ω))), ............, ω + ω, S(ω + ω), S(S(ω + ω)), S(S(S(ω + ω))), .............................. となる
３．ここに、後者関数 S(α) ：＝ SN(α) ノイマン構成の後者関数である
４．さて、後者関数を S(α) ：＝ SZ(α) シングルトンによる後者関数（Zermelo）に置き換えても、上記２と同じことが言える
５．これを担保するのが、「レーヴェンハイム＝スコーレムの定理：一階述語論理で定式化されたペアノの公理は、無数の超準モデルを持つ」（706）ってことです

---

391(1): 2021/11/19(金)01:29:38.56 ID:Lfpquuls(3/3) AAS
これでもまだ納得いかないなら、無限重シングルトンが集合であることをZF公理系から出発して証明してごらん
どこが間違いか添削してやるから

三歳児が如く駄々こねるだけじゃ数学板を利用する資格無いよ君

---

535: 2021/12/23(木)07:22:47.56 ID:ypzkaLik(1/2) AAS
メモ
外部ﾘﾝｸ:encyclopediaofmath.org
Ordinal number
transfinite number, ordinal

The order type of a well-ordered set. This notion was introduced by G. Cantor in 1883 (see [2]). For instance, the ordinal number of the set N of all positive integers, ordered by the relation ≦, is ω.

---

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

---

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

---

ぬこの手 ぬこTOP 0.035s