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年で落ちこぼれ、しかもそのことも気づかず
数セミ読んだだけで「ボクちゃん数学の大天才」と自惚れる
完全無欠の●違い（笑）