[過去ﾛｸﾞ] 大学学部レベル質問スレ 27単位目 (1002ﾚｽ)

大学学部レベル質問スレ 27単位目 http://rio2016.5ch.net/test/read.cgi/math/1718312586/

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

---

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

---

261: １３２人目の素数さん [sage] 2024/07/01(月) 20:30:33.66 ID:RJWpETYz >>256 そりゃそういう定理だからだろう 他の箇所でこっそり後者の性質を使ってるところがあったの？ http://rio2016.5ch.net/test/read.cgi/math/1718312586/261

262: １３２人目の素数さん [] 2024/07/01(月) 20:39:07.50 ID:U3onn7md >>261 後者の性質を使っているところはないと思いますが、そもそもの発端は、 「 次の補題は、 < について、 m と m + 1 の間にはいる自然数がないことを示す。 補題2.8 m < n → m + 1 ≦ n. 」 という記述です。 m と m + 1 の間にはいる自然数がないことを示すには、 m < n → 「n < m + 1」は成り立たない ことを示す必要があると思います。 「定理2.9が三分律の3つのうち一つのみが成り立つ」という定理だったとしたら、↑このことが示せます。 質問を整理すると、 m < n → 「n < m + 1」は成り立たない ことを示すには、新たな公理が必要なのではないか？ という質問です。 http://rio2016.5ch.net/test/read.cgi/math/1718312586/262

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 1.516s*