数学基礎論・数理論理学　その11

数学基礎論・数理論理学　その11at MATH

数学基礎論・数理論理学　その11 - 暇つぶし2ch517:１３２人目の素数さん
12/02/05 18:18:25.21
>>516
集合論が数学の基礎だというのはまあ違和感はない。
述語論理上の最小限の言語だろう。
その点圏論はまったく違う。いろんな怪しげな概念を強制してくる。