Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 74 http://rio2016.5ch.net/test/read.cgi/math/1755784703/

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

---

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

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.021s