[過去ログ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
302
: 11/05(水)21:16
ID:BjMQZrgB(4/7)
AA×
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
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)) 定理1 やらかした分出公理図式の下で、∀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となり矛盾■ カラスの世田は「自由変数」が全く分かってないから読み飛ばして自爆死する 線形独立が分からないから、正則行列の条件の「行列式が0でない」を読み飛ばして自爆死したのと同じ 分からん上に分からんことも分からん馬鹿が、 大学1年で落ちこぼれ、しかもそのことも気づかず 数セミ読んだだけで「ボクちゃん数学の大天才」と自惚れる 完全無欠の●違い(笑) http://rio2016.5ch.net/test/read.cgi/math/1761878205/302
カラスの世田はあいかわらず 肝心なところを略してるので めいぜんおーえすが書いた注意が 全く分かってないことは明らかである ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー 分出公理図式 を集合論の論理式 の以外の自由変数はで はの自由変数でないとする 分出公理図式に自由変数でないという条件がついています 読み飛ばしやすい条件かもしれませんがこれがないと矛盾します やらかした分出公理図式 を集合論の論理式 の以外の自由変数はとする 定理1 やらかした分出公理図式の下で 証明 とする やらかした分出公理図式のにを代入すると 注はの自由変数! とするととなり矛盾 よって とよりとなり矛盾 カラスの世田は自由変数が全く分かってないから読み飛ばして自爆死する 線形独立が分からないから正則行列の条件の行列式が0でないを読み飛ばして自爆死したのと同じ 分からん上に分からんことも分からん馬鹿が 大学年で落ちこぼれしかもそのことも気づかず 数セミ読んだだけでボクちゃん数学の大天才と自惚れる 完全無欠の違い笑
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 700 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.045s