【摘 要】
：
哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法，该法简明扼要，并将原证法的“关于可数语言的限制”扩展
论文部分内容阅读
哥德尔的一阶逻辑完全性定理（1929）是数理逻辑的基石。当代的逻辑学学生学习数理逻辑时大都直接接触Henkin（1949）的改良证法，该法简明扼要，并将原证法的“关于可数语言的限制”扩展至“任意基数的语言”。本文用改进的当代逻辑学术语简要重述了哥德尔的一阶逻辑完全性定理的原始证明，这一证明在很大程度上已经为人所遗忘。作者并择要指出原证明中未声明地使用了Konig引理（1926）。
其他文献
环境监理是实施环境保护措施的有效手段,小湾电站是国家确定的13个实行环境监理的试点项目.本文介绍了环境监理的基本要求,说明了小湾电站环境监理试点工作的基本做法,总结了
核桃不仅具有极高的经济价值,还是被人们公认的最佳滋补益康食品。我国唐代著名食疗名医孟洗在《食疗本草》中说:“核桃仁能通经脉,润血脉,黑须发,常服骨肉细腻光润。“明代
这篇文章尝试辩解布尔（亚里士多德式）逻辑中关于实质蕴涵的反直观定义。主要问题是：自然语言和逻辑定义的“蕴涵”的隐喻之间的联系是什么？为了更好地理解该定义和避免一些潜在的
二滩混凝土双曲拱坝坝高且结构复杂，坝身孔洞多，泄洪量大，坝体混凝土４１０万ｍ＾３。本文介绍了在大坝混凝土的设计和施工中采用的一些先进技术和工艺。这些新技术，新工艺的成功使用，不仅节约
每到5月末、6月上中旬,江滩之间阴雨绵绵,华南、华北地带雨水量也明显增多,此时则进入梅雨季节了。梅雨季节,家电的性能下降,故此期间应科学地使用,保养家用电器。一、家电应
二十世纪五十年代，卡尔纳普发展了归纳逻辑，他把概率看作一种证据对假设对“确证度”；二十世纪六十年代，所罗门诺夫用通用归纳方法进行预测。为了增强归纳逻辑的归纳预测能力以及
我首先祝贺联想集团在第三期日元贷款国家金桥项目国际招标中名列榜首,获得整个投资额的十分之一强,充分显示了联想集团的竞争实力。今天,国家技术监督局会同电子部在这里召
近年来,随着消费水平的不断提高,越来越多的人购买激光唱机和影碟机,与之配套使用的有各种不同功能的激光碟片,为方便消费者选购,笔者走访了有关生产厂家和经营单位,现作如下
在通常情况下,人体细胞中的核酸,对于没有受过重大伤害的人来说,在二十岁之前,一直是够用的。但是,过了青春年代,自身细胞中的核酸,因时常发生变质或不足,就会导致出现面部有
博弈论中重复可允许（Iterated Admissibilty）算法对于快速约简博弈模型、寻找合理置信的纳什均衡具有重要意义,但该算法的认知基础存在悖论。本文构建一个完备的博弈认知逻辑系