来源：学生作业帮 编辑：搜搜考试网作业帮 分类：数学作业 时间：2024/05/06 07:29:05
数理逻辑和集合论的关系
狭义的数理逻辑是指一阶谓词逻辑.
广义的数理逻辑包括一阶谓词逻辑、集合论、递归函数论和证明论.
可以把数理逻辑作为集合论的基础,也可以把数理逻辑作为集合论的一个子集.
再问： 若要将二者相通 那应先学习哪门课程 我想看明白数学的基础理论 在学习这两门课程不知道从何处入手。。。。。。请高手指点。。。谢谢
再答： 你若不是学习逻辑专业或者理论计算机科学，那就从集合论看起。 数学里会用到一些逻辑符号，用前都会讲的。
搜搜考试网