[過去ﾛｸﾞ] なぜ、ZFC公理まで遡らなくても数学が出来るの？ (1002ﾚｽ)

なぜ、ZFC公理まで遡らなくても数学が出来るの？ http://rio2016.5ch.net/test/read.cgi/math/1731415731/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

144: １３２人目の素数さん [sage] 2024/12/01(日) 15:24:00.88 ID:P6Qdo9Mu >>143 存在例化 https://wiis.info/math/logic/predicate-logic/existential-elimination/ http://rio2016.5ch.net/test/read.cgi/math/1731415731/144

196: １３２人目の素数さん [] 2024/12/03(火) 22:19:37.56 ID:JVmAwEet >>195 >ZFCの公理から存在例化が導ければよし まったくトンチンカン。 存在例化は一階述語論理において成立することが定められている推論規則。（>>144のリンク先にちゃんと書かれてるよ。読んでないの？不勉強だね。） ZFCは集合論の公理系で、一階述語論理で形式化されている。 一階述語論理の推論規則をZFCの公理から導ければよしとな？　頭沸いてる？ http://rio2016.5ch.net/test/read.cgi/math/1731415731/196

199: １３２人目の素数さん [] 2024/12/03(火) 23:15:28.91 ID:JVmAwEet >>>144のリンク先にちゃんと書かれてるよ (前略) 記号cは論理式A(x)の変数xに代入すると真の命題になるような「何らかの値」を代表的な形で表すもの (中略) 以下の推論規則 ∃x∈X：A(x) |= A(c) が成り立つものと定め、これを・・・存在例化（existential instantiation）などと呼びます。 (後略) ほれ、ちゃんと書かれてるぞ不勉強君 http://rio2016.5ch.net/test/read.cgi/math/1731415731/199

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.476s*