Inter-universal geometry と ABC予想 (応援スレ) 74 (892ﾚｽ)
上下前次1-新

---

690: 09/02(火)18:32 ID:0UkiWhPy(8/11) AA×
>>686>>1>>2

外部ﾘﾝｸ:ja.wikipedia.org

[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
690: [] 2025/09/02(火) 18:32:05.22 ID:0UkiWhPy >>686 >1階の公理的集は だいたい 一階述語論理しばりだが >2階のカジュアル集合論、3階の日常の数学では、一階述語論理しばり なし >自然言語も多用して 図解もありまくりで 数学の議論を進める 妄想全開で草 https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96 ZFCの全ての公理が自然言語で書かれてますけど そもそも任意の論理式は自然言語で表現できますけど　違うと言うなら自然言語で表現できない論理式を書いてみて http://rio2016.5ch.net/test/read.cgi/math/1755784703/690
階の公理的集は だいたい 一階述語論理しばりだが 階のカジュアル集合論階の日常の数学では一階述語論理しばり なし 自然言語も多用して 図解もありまくりで 数学の議論を進める 妄想全開で草 の全ての公理が自然言語で書かれてますけど そもそも任意の論理式は自然言語で表現できますけど 違うと言うなら自然言語で表現できない論理式を書いてみて

---

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

---

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

---

ぬこの手 ぬこTOP 0.027s