| 浅议一阶逻辑的发展与集合论公理化的关系 |
| |
| 引用本文： | 王辉. 浅议一阶逻辑的发展与集合论公理化的关系[J]. 自然辩证法研究, 2008, 24(12) |
| |
| 作者姓名： | 王辉 |
| |
| 作者单位： | 中国人民大学,哲学院,北京,100872 |
| |
| 摘 要： | 众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系.
|
| 关 键 词： | 数理逻辑 一阶逻辑 公理集合论 逻辑史 |
On the Relationship between the Development of First-order Logic and the Axiomatization of Set Theory |
| |
| WANG Hui. On the Relationship between the Development of First-order Logic and the Axiomatization of Set Theory[J]. Studies In Dialectics of Nature, 2008, 24(12) |
| |
| Authors: | WANG Hui |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
