[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.net/test/read.cgi/math/1761878205/

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

---

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

---

302: １３２人目の素数さん [] 2025/11/05(水) 21:16:15.70 ID:BjMQZrgB カラスの世田はあいかわらず 肝心なところを略してるので めいぜんおーえすが書いた注意が 全く分かってないことは明らかである ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 分出公理図式 Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする. ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) 分出公理図式…に「自由変数でない」という条件がついています。 読み飛ばしやすい条件かもしれませんが、これがないと矛盾します。 やらかした分出公理図式 Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1とする. ∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z)) 定理１ やらかした分出公理図式の下で、∀x∀z¬(z∈x) 証明 z∈xとする やらかした分出公理図式のPに¬(z∈y)を代入すると　(注：yはPの自由変数！） ∃y∀z(z∈y⇔(z∈x⋀¬(z∈y)) z∈yとすると¬(z∈y)となり矛盾 よって¬(z∈y) z∈xと¬(z∈y)よりz∈yとなり矛盾■ カラスの世田は「自由変数」が全く分かってないから読み飛ばして自爆死する 線形独立が分からないから、正則行列の条件の「行列式が０でない」を読み飛ばして自爆死したのと同じ 分からん上に分からんことも分からん馬鹿が、 大学1年で落ちこぼれ、しかもそのことも気づかず 数セミ読んだだけで「ボクちゃん数学の大天才」と自惚れる 完全無欠の●違い（笑） http://rio2016.5ch.net/test/read.cgi/math/1761878205/302

---

ﾒﾓ帳

(0/65535文字)

---

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

---

あと 700 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.009s