证明论，数理逻辑和集合论的关系
数理逻辑和集合论的关系2，在议论文中某段有例子又引用了名言还做了对比应该算什么论证方法3，任何一种逻辑形式都是由什么和什么两部分构成4，议论文的写作方法有哪几种5，议论文的写作方法6，史上最难的数学提1，数理逻辑和集合论的关系狭义的数理逻辑是指一阶谓词逻辑。广义的数理逻辑包括一阶谓词逻辑、集合论、递归函数论和证明论。可以把数理逻辑作为集合论的基础，也可以把数理逻辑作为集合论的一个子集。好像不大需要吧，因为他们是数学的基础，数理逻辑要牵扯到集合论，这两科的话，先学集合论。如果你是高中生或大学生那就直接上...
更新时间：2024-01-24标签： 证明证明论数理数理逻辑证明论 全文阅读