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

摘要

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