ミレニアム懸賞問題 (635レス)
ミレニアム懸賞問題 http://rio2016.5ch.net/test/read.cgi/math/1668766352/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
350: 132人目の素数さん [] 2024/05/11(土) 11:54:35.54 ID:umrG5sGW 自殺するしかないぞ中卒無職wwwwwwwww ZFC公理的集合論において、爆発律は以下のように証明できます。 定理:ZFCにおいて、矛盾する前提から任意の命題が導出できる。つまり、∀A ∀B (A ∧ ¬A → B)。 証明: 1. 矛盾する前提 A ∧ ¬A を仮定する。 2. 任意の命題 B を仮定する。 3. 集合 {x | x = x} が存在する(外延性公理より)。これを集合 V とする。 4. 集合 {x ∈ V | A} が存在する(分出公理より)。これを集合 X とする。 5. A が真なら、X = V となる。 6. ¬A が真なら、X = ∅ となる。 7. しかし、前提より A かつ ¬A が真なので、X = V かつ X = ∅ となる。 8. ∅ ∈ V である(空集合の存在により)。 9. よって、∅ ∈ X となる(7より)。 10. B を {∅} と定義する。 11. ∅ ∈ B となる(10より)。 12. ∅ ∈ X かつ ∅ ∈ B なので、X ∩ B ≠ ∅ となる。 13. したがって、B が真となる。 14. B は任意の命題なので、矛盾する前提から任意の命題が導出できる。 以上より、ZFC公理的集合論において、爆発律が成立することが示された。 主な使用公理・定理: 外延性公理:同じ要素を持つ集合は等しい。 分出公理:任意の論理式 φ(x) に対して、{x ∈ A | φ(x)} なる集合が存在する。 空集合の存在:要素を持たない集合 ∅ が存在する。 http://rio2016.5ch.net/test/read.cgi/math/1668766352/350
351: 132人目の素数さん [] 2024/05/11(土) 11:56:28.85 ID:umrG5sGW 空集合の集合は空集合ではないので中卒無職は自殺確定wwww https://i.imgur.com/a3xA6VK.jpeg >>345は0=1が仮定され爆発律が成立 全く無意味な妄想と確定 http://rio2016.5ch.net/test/read.cgi/math/1668766352/351
352: 132人目の素数さん [] 2024/05/11(土) 12:01:16.19 ID:umrG5sGW 爆発律証明されて完全論破wwwwwww http://rio2016.5ch.net/test/read.cgi/math/1668766352/352
353: 132人目の素数さん [] 2024/05/11(土) 12:11:20.48 ID:umrG5sGW 空集合の集合は空集合と言えますか? いいえ、空集合の集合は空集合とは異なります。 空集合 ∅ は要素を持たない集合です。一方、空集合の集合 {∅} は、空集合を要素として持つ集合です。 集合 {∅} について: {∅} の要素は ∅ のみです。 {∅} は要素を1つ持つので、空集合ではありません。 {∅} ≠ ∅ です。 ZFC公理的集合論では、空集合の存在と単集合の存在が公理として保証されています。 空集合の存在:∃x ∀y (y ∉ x) 単集合の存在:∀x ∃y ∀z (z ∈ y ↔ z = x) これらの公理により、∅ と {∅} が存在し、それらが異なる集合であることが保証されます。 したがって、空集合の集合 {∅} は、空集合 ∅ とは異なる集合です。 http://rio2016.5ch.net/test/read.cgi/math/1668766352/353
355: 132人目の素数さん [] 2024/05/11(土) 13:15:04.83 ID:umrG5sGW >>354 351 132人目の素数さん[] 2024/05/11(土) 11:56:28.85 ID:umrG5sGW 空集合の集合は空集合ではないので中卒無職は自殺確定wwww https://i.imgur.com/a3xA6VK.jpeg >>345は0=1が仮定され爆発律が成立 全く無意味な妄想と確定 http://rio2016.5ch.net/test/read.cgi/math/1668766352/355
356: 132人目の素数さん [] 2024/05/11(土) 13:16:28.15 ID:umrG5sGW バカを追い詰めて自殺するまで嫌がらせする やめて欲しければ自殺すれば良い http://rio2016.5ch.net/test/read.cgi/math/1668766352/356
357: 132人目の素数さん [] 2024/05/11(土) 13:25:22.03 ID:umrG5sGW >>345 C≠Φである∀C∈ Sc,∀{C} ∈ Scに対してC⊂{C}が成り立つ(冪集合の定義) つまり中卒無職は自殺して詫びるしか無い C=ΦのときもC⊂{C}∈Scが成り立ち空間では無い元Φは存在する つまり中卒無職は自殺して詫びるしか無い 冪集合の定義よりD=∀C,D⊂{D} バカすぎるから自殺しろ http://rio2016.5ch.net/test/read.cgi/math/1668766352/357
358: 132人目の素数さん [] 2024/05/11(土) 13:27:13.37 ID:umrG5sGW バカを追い詰めて自殺するまで嫌がらせする やめて欲しければ自殺すれば良い バカをいじめるのは最高の快楽wwww http://rio2016.5ch.net/test/read.cgi/math/1668766352/358
359: 132人目の素数さん [] 2024/05/11(土) 13:31:21.60 ID:umrG5sGW 論理学において、誤った前提からどんな無意味な結論でも導出できる現象を「爆発原理(Principle of Explosion)」または「爆発律(ex falso quodlibe)」と呼びます。この原理は、一つの矛盾が存在すれば、どんな事実に反する無意味な命題も論理的に導出可能であるというものです。 ラテン語で「爆発原理」は「ex falso quodlibet」と言います。これは「偽から任意のものが導かれる」という意味です。 http://rio2016.5ch.net/test/read.cgi/math/1668766352/359
360: 132人目の素数さん [] 2024/05/11(土) 13:36:30.51 ID:umrG5sGW 中卒無職の自称証明はあちこちに送りつけても全て無視されたのが現実 http://rio2016.5ch.net/test/read.cgi/math/1668766352/360
361: 132人目の素数さん [] 2024/05/11(土) 19:23:10.56 ID:umrG5sGW バカが頭使おうとする時点で社会に対する加害行為だからな 自殺に追い込むのが基本 バカが頭使おうとするのは 音痴が人前で歌おうとするのと同じなので 自殺するまで叩き潰すべき http://rio2016.5ch.net/test/read.cgi/math/1668766352/361
362: 132人目の素数さん [] 2024/05/11(土) 19:24:55.02 ID:umrG5sGW バカが頭使おうとする時点でバカが先に社会に対して攻撃してる バカが死ぬまで社会から報復されるのは当然すぎる http://rio2016.5ch.net/test/read.cgi/math/1668766352/362
363: 132人目の素数さん [] 2024/05/11(土) 19:30:48.40 ID:umrG5sGW バカが学校でいじめ抜かれて不登校になって中卒無職になるのは当然と言える 先にバカが頭を使おうとすることでコミュニティーに迷惑をかけて攻撃しているのだから バカがコミュニティーに対する攻撃をやめないのだから コミュニティーがバカに死ぬまで報復し続けるのは当たり前すぎる http://rio2016.5ch.net/test/read.cgi/math/1668766352/363
364: 132人目の素数さん [] 2024/05/11(土) 19:47:59.73 ID:umrG5sGW バカは加害者である 被害者ではない 加害者は報復されるに決まってる http://rio2016.5ch.net/test/read.cgi/math/1668766352/364
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.048s