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

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

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

---

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

---

794: 現代数学の系譜 雑談 ◆e.a0E5TtKE [] 2019/12/15(日) 15:20:01.62 ID:BvQtIPz4 >>783 補足 (>>420より) <Zermelo構成> https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0 自然数 (抜粋) 形式的な定義 自然数の公理 集合論において標準的となっている自然数の構成は以下の通りである。 空集合を 0 と定義する。 0:=Φ ={} 例えば、0 := {}, suc(a) := {a} と定義したならば、 0 := {} 1 := {0} = {{}} 2 := {1} = {{{}}} 3 := {2} = {{{{}}}} と非常に単純な自然数になる。 (引用終り) (>>783より) <Zermelo構成> 0,1,2,3,・・・たちを集合として見たら (可算無限長の)上昇列：0∈1∈2∈3∈4∈… が構成される 上昇列は、正則性公理には反しない（>>783） シングルトンの(可算無限長の)上昇列は、正則性公理には反しない だから、ωに相当するシングルトンの存在は、正則性公理には反しない ωに相当するシングルトンの存在を否定したければ、別の理論を持ってこい ｗ！！ｗ （＾＾： （そんな理論はありませんｗｗ） QED （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1570237031/794

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.022s