数理逻辑和集合论的关系
答案:1 悬赏:0 手机版
解决时间 2021-10-18 14:04
- 提问者网友：人生佛魔见
- 2021-10-17 13:10
数理逻辑和集合论的关系
最佳答案
- 五星知识达人网友：人间朝暮
- 2021-10-17 13:22
狭义的数理逻辑是指一阶谓词逻辑.广义的数理逻辑包括一阶谓词逻辑、集合论、递归函数论和证明论.可以把数理逻辑作为集合论的基础,也可以把数理逻辑作为集合论的一个子集.
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯