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

---

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

---

221(1): 2019/10/09(水)12:34 ID:rFFSRADX(1) AAS
>>216
ダメですね。
まず
x: ordered number in the sence of Zermelo
が論理式として定義されていません。
>>18の定義にある通り、そここそがNeumannのordered numberのすごいところで多くの基礎論における順序数の構成でNeumannのスタイルが採用される所以です。
まぁ仮にそこがなんとかなったとしても
省5

---

224(6): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/09(水)23:51 ID:2o5RsZjT(1/3) AAS
>>221

議論の前提として、ある程度、標準的に認められている現代数学の成果は、認めることにしましょうね（＾＾
ツェルメロから、ノイマンへ至道、それは幾人もの希代の天才たちが、十年以上の歳月をかけた思考の結晶だ
こんなバカ板のバカスレで、１からの数学ゼミやったら、100年かかっても少しも進みませんぜｗ(゜ロ゜;

ツェルメロ構成は、順序数（3.2.2 Ordinality）については、モストフスキー崩壊理論で、一応成立（OKってこと）
但し、基数（3.2.3 Cardinality）については、これじゃだめということですよ

それ、下記の”Zermelo’s Axiomatization of Set Theory Michael Hallett”に書いてあるよ
省15

---

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

---

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

---

ぬこの手 ぬこTOP 0.035s