[過去ﾛｸﾞ] Inter-universal geometry と ABC 予想 46 (1002ﾚｽ)
上下前次1-新

---

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

---

128: 2020/04/04(土)22:06 ID:fQZCog0l(5/11) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
128: [] 2020/04/04(土) 22:06:37 ID:fQZCog0l 素朴な疑問なんですが、数学では 自由な公理系を提案してそれが「無矛盾？」ならその公理系の公理と定義を自由に 既存定理の証明に使っていいんでしょうか？ そもそもそういうことではないんでしょうか？ 物理学などの自然科学なら実測と整合すれば正解になるのに数学の「正解」判定って 素人には想像できない難解ですね http://rio2016.5ch.net/test/read.cgi/math/1585967607/128
素朴な疑問なんですが数学では 自由な公理系を提案してそれが無矛盾？ならその公理系の公理と定義を自由に 既存定理の証明に使っていいんでしょうか？ そもそもそういうことではないんでしょうか？ 物理学などの自然科学なら実測と整合すれば正解になるのに数学の正解判定って 素人には想像できない難解ですね

---

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

---

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

---

ぬこの手 ぬこTOP 0.247s