数学基礎論・数理論理学　その19 (605ﾚｽ)

数学基礎論・数理論理学　その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/

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

---

585: １３２人目の素数さん [] 2025/09/27(土) 12:36:25.89 ID:fLAeLOLb 自然数を語るのに集合論は必要ないけどな PAでいい 型理論を基礎にして自然数型を考えてもいい http://rio2016.5ch.net/test/read.cgi/math/1696599483/585

---

ﾒﾓ帳

(0/65535文字)

---

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

---

あと 20 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.014s