[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
199(5): 2024/12/03(火)23:15 ID:JVmAwEet(12/12) AAS
>>>144のリンク先にちゃんと書かれてるよ
(前略)
記号cは論理式A(x)の変数xに代入すると真の命題になるような「何らかの値」を代表的な形で表すもの
(中略)
以下の推論規則
∃x∈X：A(x) |= A(c)
が成り立つものと定め、これを・・・存在例化（existential instantiation）などと呼びます。
(後略)
ほれ、ちゃんと書かれてるぞ不勉強君
上下前次1-新書関写板覧索設栞歴
あと 803 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.011s