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

---

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

---

265(1): 2024/12/05(木)10:00 ID:ydaej6y9(2/14) AA×
>>264


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
265: [] 2024/12/05(木) 10:00:50.16 ID:ydaej6y9 >>264 >ほとんど名前付けてるだけ 重要なのは存在するもののうちのひとつを固定して証明の中で使用できること >ZFCの公理系とは抵触しないそれなら許容されるよ ZFC公理系に抵触しないから許容されるのではなく、ZFC集合論が一階述語論理上に実装されているから許容される 君はZFC集合論と一階述語論理の関係性をまったく誤解している　それは君の勝手だけど、分かってる風に発言するのは勝手じゃ済まない http://rio2016.5ch.net/test/read.cgi/math/1731415731/265
ほとんど名前付けてるだけ 重要なのは存在するもののうちのひとつを固定して証明の中で使用できること の公理系とは抵触しないそれなら許容されるよ 公理系に抵触しないから許容されるのではなく集合論が一階述語論理上に実装されているから許容される 君は集合論と一階述語論理の関係性をまったく誤解している それは君の勝手だけど分かってる風に発言するのは勝手じゃ済まない

---

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

---

あと 737 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.023s