[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

967(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/20(日)19:36 ID:JxJPBISF(5/10) AAS
>>966 補足

fr.wikipedia Axiom of infinity（無限公理）より
”let A be a set verifying Cl( A ) whose existence is ensured by the axiom of infinity. Then, the existence of the set ω is ensured by the axiom scheme of comprehension and its uniqueness by the axiom of extensionality , by defining ω as the intersection (therefore the smallest in the sense of inclusion) of all sets containing 0 and closed by successor ( A only intervenes to be able to define ω as a set, but ω does not depend on A ):
ω = { x ∈ A | Ent( x ) } ;”

とあるよ
”by defining ω as the intersection (therefore the smallest in the sense of inclusion) of all sets containing 0 and closed by successor ( A only intervenes to be able to define ω as a set, but ω does not depend on A )”
とあるよ
省6

---

975(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/20(日)20:15 ID:JxJPBISF(8/10) AAS
>>968
>>記号∩ は、使わなくてもいいのならば、その方がすっきりしてないかな？ｗ ；ｐ）
>それってあなたの感想ですよね？

ふっふ、ほっほ
＜おれの感想＞
１）命題 P→Q 2点間を結ぶ直線 最短距離が しばしば”エレガント”の場合がおおい
　>>967 fr.wikipedia Axiom of infinity（無限公理）
省8

---

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

---

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

---

ぬこの手 ぬこTOP 0.032s