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

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

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

---

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

---

275: １３２人目の素数さん [] 2024/07/02(火) 10:08:28.62 ID:8e/gxRJc 訂正します： >>265 それを証明しなければなりません。 >>266-267 ありがとうございます。 >>268 >>269-270 ∀x (x ∈ N → x < x でない) ことを証明しなければなりません。 A := {x ∈ N : x ∈ x でない} とおく。 ∅ ∈ ∅ でないから、 ∅ ∈ A である。 x ∈ A とする。 x ∈ x でない。 x' = x ∪ {x} ∈ x ∪ {x} と仮定して矛盾を導く。 x ∈ x でないから x ∪ {x} ≠ x よって、 x ∪ {x} ∈ x である。 どうやって矛盾を導きますか？ >>271 ありがとうございます。 http://rio2016.5ch.net/test/read.cgi/math/1718312586/275

293: １３２人目の素数さん [sage] 2024/07/02(火) 15:40:51.30 ID:IjMVBBcM >>275 定義を聞いてるんだけど、 a<bの定義が a≧bでないことなら何もやることはないし a≦bでa≠bなら示すべきことは≦の反対称律だけじゃん http://rio2016.5ch.net/test/read.cgi/math/1718312586/293

320: １３２人目の素数さん [sage] 2024/07/02(火) 20:30:09.18 ID:kdN4jCCa >>317 ナンセンス。 「 ¬(x∈x) を先に証明しとけばいい」 ということなら、それは今までの文脈を全く理解してない。 まず、発端となった ID:8e/gxRJc は、 「 ¬(x∈x) が証明できれば全ての疑問点が解消される 」 という部分までは自力で到達していて、 (**)「じゃあ ¬(x∈x) はどうやって証明するの？」 という問題を質問してたんだよ(>>275)。 ここまでが話の前提なわけ。 http://rio2016.5ch.net/test/read.cgi/math/1718312586/320

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.043s