[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
144(2): 2024/12/01(日)15:24 ID:P6Qdo9Mu(4/7) AAS
>>143
存在例化
外部ﾘﾝｸ:wiis.info
196: 2024/12/03(火)22:19 ID:JVmAwEet(9/12) AAS
>>195
>ZFCの公理から存在例化が導ければよし
まったくトンチンカン。
存在例化は一階述語論理において成立することが定められている推論規則。（>>144のリンク先にちゃんと書かれてるよ。読んでないの？不勉強だね。）
ZFCは集合論の公理系で、一階述語論理で形式化されている。
一階述語論理の推論規則をZFCの公理から導ければよしとな？ 頭沸いてる？
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-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s