哥德尔的一阶逻辑完全性证明的原始版本

摘要：

哥德尔的一阶逻辑完全性定理(1929)是数理逻辑的基石.当代的逻辑学学生学习数理逻辑时大都直接接触Henkin(1949)的改良证法,该法简明扼要,并将原证法的"关于可数语言的限制"扩展至"任意基数的语言".本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明,这一证明在很大程度上已经为人所遗忘.作者并择要指出原证明中未声明地使用了K(o)nig引理(1926).

机标关键词：哥德尔、一阶逻辑、完全性定理、证明、原始版本、数理逻辑、逻辑学、直接接触、证法、语言、学生学习、当代、引理、遗忘、限制、术语、声明、基数、改良、改进

所属期刊栏目：4

分类号：O14;B81

在线出版日期：2011-08-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：101-108