Inter-universal geometry と ABC予想 (応援スレ) 77at MATHInter-universal geometry と ABC予想 (応援スレ) 77 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト300:１３２人目の素数さん 25/11/05 20:55:34.22 BjMQZrgB.net あっとまーくが●違いな厳密感をもってたことはわかった まあ、この手の●違いは大学１～２年にはワラワラいるが 「そんな●った”厳密性”は妄想である」と気づくことでまっとうな大人になる 301:現代数学の系譜 雑談 25/11/05 20:58:27.52 BZV1IQOW.net >>295-298 ありがとう 激しく同意 中国を甘く見てはいけない 中国は要警戒すべき国 だが 中国との外交も重要だ 2025年の いまの日本の外交課題です 302:１３２人目の素数さん 25/11/05 21:16:15.70 BjMQZrgB.net カラスの世田はあいかわらず 肝心なところを略してるので めいぜんおーえすが書いた注意が 全く分かってないことは明らかである ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 分出公理図式 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年で落ちこぼれ、しかもそのことも気づかず 数セミ読んだだけで「ボクちゃん数学の大天才」と自惚れる 完全無欠の●違い（笑） 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch