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

---

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

---

552(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/30(土)22:34 ID:4Ujjq2jv(17/17) AAS
>>531 補足
＞ 2. S は、空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能な全属性を持つ。（カジミェシュ・クラトフスキ）

多分、公理的集合論と、素朴集合論の区別がついていない人が多いと思うが
公理的集合論で、”空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能”

Zermeloの 可算多重シングルトン{・・・{}・・・}（>>549）
これは、”空集合を始点として元を1つずつ追加していく数学的帰納法で証明可能”ではない

無限公理の適用を必要とするのだ
省2

---

559: 2019/12/01(日)08:19 ID:go6lPTYO(3/12) AAS
>>552
＞空集合を始点として元を1つずつ追加していく
＞数学的帰納法で証明可能な全属性を持つ。

上記の「元」はどんなものでもいいのであって、
元が無限集合だからダメだとかいう奴は
正真正銘の馬鹿ｗ

---

563(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/01(日)09:03 ID:id6ENHqe(4/6) AAS
>>552 補足

下記順序数”0, 1, 2, 3, ............, ω， S(ω)（＝ω+1）”を数直線に埋め込んでみよう
数直線の区間[0,2]で
n→1-(1/(1+n))＝n/(1+n)
と変換すると
0→1-1/1＝0
1→1-1/2＝1/2
省26

---

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

---

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

---

ぬこの手 ぬこTOP 0.035s