哥德尔的一阶逻辑完全性证明的原始版本 |
| |
引用本文: | 孤鹤.哥德尔的一阶逻辑完全性证明的原始版本[J].逻辑学研究,2011(1):101-108. |
| |
作者姓名: | 孤鹤 |
| |
作者单位: | 复旦大学哲学学院; |
| |
摘 要: | 哥德尔的一阶逻辑完全性定理(1929)是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin(1949)的改良证法,该法简明扼要,并将原证法的“关于可数语言的限制”扩展至“任意基数的语言”。本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明,这一证明在很大程度上已经为人所遗忘。作者并择要指出原证明中未声明地使用了Konig引理(1926)。
|
关 键 词: | 一阶逻辑 完全性 哥德尔 证明 版本 数理逻辑 逻辑学 定理 |
本文献已被 CNKI 维普 等数据库收录! |
|