现代数学的基础是逻辑还是集合论

水木社区手机版

主题:现代数学的基础是逻辑还是集合论
楼主|telangpujing|2020-04-27 13:30:10|只看此ID
--
FROM 106.121.71.*
1楼|a0123456789q|2020-04-27 23:25:41|只看此ID
集合建立在逻辑之上
【在 telangpujing (telangpujing) 的大作中提到: 】
--
FROM 183.95.135.*
2楼|hanbing73|2020-05-21 06:45:13|只看此ID
数理逻辑一般分为基础部分（命题逻辑和谓词逻辑）、证明论、递归论、集合论、模型论
--
FROM 219.142.144.*