ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

Inter-universal geometry と ABC予想 (応援スレ) 77

PC,ｽﾏﾎ,PHSは 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>302 > カラスの世田はあいかわらず > 肝心なところを略してるので > めいぜんおーえすが書いた注意が > 全く分かってないことは明らかである > > ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー > 分出公理図式 > 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年で落ちこぼれ、しかもそのことも気づかず > 数セミ読んだだけで「ボクちゃん数学の大天才」と自惚れる > > 完全無欠の●違い（笑）
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.011s