哥德尔完备性定理

✍ dations ◷ 2025-09-18 01:05:07 #哥德尔完备性定理

哥德尔完备性定理是数理逻辑中重要的定理，在1929年由库尔特·哥德尔首先证明。它的最熟知的形式声称在一阶谓词演算中所有逻辑上有效的公式都是可以证明的。上述词语“可证明的”意味着有着这个公式的形式演绎。这种形式演绎是步骤的有限列表，其中每个步骤要么涉及公理要么通过基本推理规则从前面的步骤获得。给定这样一种演绎，它的每个步骤的正确性可以在算法上检验（比如通过计算机或手工）。如果一个公式在这个公式的语言的所有模型中都为真，它就被称为“逻辑上有效”的。为了形式的陈述哥德尔完备性定理，你必须定义这个上下文中词语“模型”的意义。这是模型论的基本定义。在另一个方向上，哥德尔完备性定理声称一阶谓词演算的推理规则是“完备的”，在不需要额外的推理规则来证明所有逻辑上有效的公式的意义上。完备性的逆命题是“可靠性”。一阶谓词演算的实情是可靠的，就是说，只有逻辑上有效的陈述可以在一阶逻辑中证明，这是可靠性定理断言的。处理在不同的模型中什么为真的数理逻辑分支叫做模型论。研究在特定形式系统中什么为可以形式证明的分支叫做证明论。完备性定理建立了在这两个分支之间的基本联系。给出了在语义和语形之间的连接。但完备性定理不应当被误解为消除了在这两个概念之间的区别；事实上另一个著名的结果哥德尔不完备定理，证实了对“在数学中什么是形式证明可以完成的”有着固有的限制。不完备定理的名声与另一种意义的“完备”有关，参见模型论。更一般版本的哥德尔完备性定理成立。它声称对于任何一阶理论T和在这个理论中的任何句子S，有一个S的自T的形式演绎，当且仅当S被T的所有模型满足。这个更一般的定理被隐含使用，例如，在一个句子被证实可以用群论的公理证明的时候，通过考虑一个任意的群并证实这个句子被这个群所满足。完备性定理是一阶逻辑的中心性质，不在所有逻辑中成立。比如二阶逻辑就没有完备性定理。完备性定理等价于超滤子引理，它是弱形式的选择公理，在不带有选择公理的策梅洛-弗兰克尔集合论中有着等价的可证明性。对定理的最初证明的解释请参见哥德尔完备性定理的最初证明。在现代逻辑课本中，哥德尔完备性定理通常使用Leon Henkin的证明而不是哥德尔最初的证明。

相关

双链DNA反转录病毒双链去氧核糖核酸逆转录病毒（ds-DNA RT）是巴尔的摩病毒分类系统中的第七类病毒（Group VII）。这类病毒一般不被认为是DNA病毒（该分类中的Group I&II），而被认为是逆转录病毒（该分类的G
渗透压渗透压（osmotic pressure）是施加到溶液上以防止溶剂经选透膜内流的最低压力。在U型管实验时，当渗透持续进行至两液面高度不再变动时，此时两液柱之压力差称为渗透压。渗透压的大
摩尔摩尔（拉丁文“一团”），是物质的量的国际单位，符号为mol。1摩尔是指化学物质所含基本微粒个数等于6.02214076×1023，即阿伏伽德罗常数。使用摩尔时，应指明基本微粒，可以是分子、原子
高级心脏生命支持高级生命支持，亦为高级心肺复苏、ACLS，是指一系列的临床介入(clinical intervention)，作为以下情况的应急处置:心跳停止、休克，以及其他医学上危及生命的紧急情况；亦指施行此临床
Sr5s22，8，18，8，2蒸气压第一：549.5 kJ·mol−1 第二：1064.2 kJ·mol−1 第三：4138 kJ·mol主条目：锶的同位素锶（Strontium，旧译作鎴）是一种化学元素，它的化学符号是Sr，它的原子序数是38，
对氨基水杨酸钠4-氨基水杨酸（英语：4-Aminosalicylic acid，又名对氨基水杨酸、氨基水杨酸或PAS）是一种用于治疗结核病的抗菌药。它也被用于治疗炎症性肠病。它通过抑制NF-κB及清除自由基而发
爱利克·埃里克森爱利克·霍姆伯格·埃里克森（德语：Erik Homburger Erikson，1902年6月15日－1994年5月12日），又译为艾力克·汉博格·艾力逊，是一位德裔美籍发展心理学家与心理分析学者，以其心理社会发
哺乳困难哺乳困难是指在母乳哺育（由妇女的乳房分泌的母乳哺育婴儿或是幼儿）过程中遇到的困难。婴儿有吸吮反射，会吸吮乳头并且吞咽母乳，而母乳是婴儿最好的营养来源，不过还是会在一些情形
塔崩塔崩（Tabun），或作GA(二甲氨基氰膦酸乙酯)是一种有极强的毒性的物质。它是清澈无色无味的液体，有轻微水果香味。由于它会严重地影响哺乳类动物神经系统的正常功能甚至致命，塔崩被
希腊希腊国家图书馆（希腊语：Εθνική Βιβλιοθήκη），位于雅典市中心附近，由丹麦建筑师特奥费尔·翰森设计，为其新古典主义建筑三部曲之一（另外两个是雅典科学院、雅典大学）