浅议一阶逻辑的发展与集合论公理化的关系

作者：王辉

来源：自然辩证法研究, 2008, 24(12): 27-30.

DOI：10.19484/j.cnki.1000-8934.2008.12.006

• 数理逻辑
• 一阶逻辑
• 公理集合论
• 逻辑史 mathematical logic
• first-order logic
• axiom set theory
• history of logic

众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分。但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展。在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系。

• 单位
  中国人民大学