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

---

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

---

419(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/14(月)10:44 ID:w6tqRMw5(4/8) AAS
>>416
＞∋で列をつくるんだからω’∋ａとなるａを示せなくては意味がない

その批判は、半分は正しい
下記の順序数 注釈2の 批判と類似だね

だが、順序型の概念を使うことで回避できて、
ノイマンとツェルメロは、順序同型になる

だから、ツェルメロを使って、同じことができるって話になるんだ（下記「自然数」ご参照）
省12

---

420(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/14(月)10:45 ID:w6tqRMw5(5/8) AAS
>>419

つづき

外部ﾘﾝｸ:ja.wikipedia.org
自然数
(抜粋)
形式的な定義
自然数の公理
省16

---

422: Mara Papiyas ◆y7fKJ8VsjM 2019/10/14(月)10:52 ID:llLaGKvq(4/8) AAS
>>419
＞＞∋で列をつくるんだからω’∋ａとなるａを示せなくては意味がない
＞その批判は、半分は正しい

貴様の文章は２か所間違ってる

まず批判ではなく指摘だ
そして半分ではなく全部正しい

＞だが、順序型の概念を使うことで回避できて、
省7

---

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

---

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

---

ぬこの手 ぬこTOP 0.039s