[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)

純粋・応用数学・数学隣接分野（含むガロア理論）20 http://rio2016.5ch.net/test/read.cgi/math/1745503590/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

---

967: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/20(日) 19:36:26.84 ID:JxJPBISF >>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 )” とあるよ ”by defining ω as the intersection” とあるよ だけど、 　記号∩ 使ってないよ？ 　記号∩ は、使わなくてもいいの？ 　記号∩ は、使わなくてもいいのならば、その方がすっきりしてないかな？ｗ ；ｐ） http://rio2016.5ch.net/test/read.cgi/math/1745503590/967

975: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/07/20(日) 20:15:35.48 ID:JxJPBISF >>968 >>記号∩ は、使わなくてもいいのならば、その方がすっきりしてないかな？ｗ ；ｐ） >それってあなたの感想ですよね？ ふっふ、ほっほ ＜おれの感想＞ １）命題 P→Q 2点間を結ぶ直線 最短距離が しばしば”エレガント”の場合がおおい 　>>967 fr.wikipedia Axiom of infinity（無限公理） 　>>964 独 de.wikipedia Infinity axiom 　どちらも 記号∩ は、使わない 　ご存知だろうが、2025年から振り返れば この話は 100年くらいの歴史があるよ ２）ど素人が、いろいろ試行錯誤して 証明を考えるのは悪くない 　お勉強だからね 　でも、100年の歴史の 当時の数学の天才たちが 考えた 自然数(N＝ω) の証明 　この証明と、自分たちの それは 泥臭い 素人証明かもしれないが（多分 そうだろうが） 　それと 比較するのも 君達の勉強だよ http://rio2016.5ch.net/test/read.cgi/math/1745503590/975

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 2.282s*