[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 45 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
974(2): 2020/04/04(土)10:38 ID:DqGScTxQ(2/2) AAS
>>961
それは証明できない
全称命題と一般に呼ばれるものは二種類ある
∀x∈X P(x)と∀x P(x)
∃x∈X P(x)と∃x P(x)
全称命題から存在命題が証明できるとは∀x P(x)から∃x P(x)は証明できることを言ってる
じゃあ∀x∈X P(x)から∃x∈X P(x)は証明できないのかよというと、君の言う通り証明できない
省2
上下前次1-新書関写板覧索設栞歴
あと 28 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s