[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
302: 11/05(水)21:16 ID:BjMQZrgB(4/7) AAS
カラスの世田はあいかわらず
肝心なところを略してるので
めいぜんおーえすが書いた注意が
全く分かってないことは明らかである
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
分出公理図式
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))
分出公理図式…に「自由変数でない」という条件がついています。
読み飛ばしやすい条件かもしれませんが、これがないと矛盾します。
省18
上下前次1-新書関写板覧索設栞歴
あと 700 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s