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

---

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

---

794(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/15(日)15:20 ID:BvQtIPz4(5/5) AA×
>>783>>420>>783>>783

外部ﾘﾝｸ:ja.wikipedia.org

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
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
補足 より 構成 自然数 抜粋 形式的な定義 自然数の公理 集合論において標準的となっている自然数の構成は以下の通りである 空集合を と定義する 例えば と定義したならば と非常に単純な自然数になる 引用終り より 構成 たちを集合として見たら 可算無限長の上昇列 が構成される 上昇列は正則性公理には反しない シングルトンの可算無限長の上昇列は正則性公理には反しない だからに相当するシングルトンの存在は正則性公理には反しない に相当するシングルトンの存在を否定したければ別の理論を持ってこい ！！ そんな理論はありません

---

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

---

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

---

ぬこの手 ぬこTOP 0.046s