哥德尔完备性定理: 每一个为真的逻辑公式是可证明的。
其等价表述是: 每一个逻辑公式或者是可满足的(Satisfiable),或者是可证否的(Refutable). 如果一个逻辑公式为真,那么必存在一个形式化证明(Formal Proof).
完备性定理的重要意义在于建立了一阶逻辑的语义真值与语法可证明性之间的联系。同时,也建立了模型论与证明理论之间的联系。
哥德尔的证明(梗概):
哥德尔首先引入Hilbert和Ackermann 1928年论文中的结论: 任意一阶逻辑公式可以转化为前束范式
哥德尔又认为前束范式
最后,哥德尔证明前束范式
以稍简单的实例来证明:
定义:
对于任意的
第一种情况:
如果对于某个
第二种情况:
如果
哥德尔的完备性证明本质上有个前提, 是紧致性(Compactness)定理。
关于哥德尔的完备性定理, 当前流行的证明方法是亨金(Henkin)的证明。
此外, 哥德尔证明中的可满足情形下的模型是可数的, 所以,这个哥德尔的证明本质上也证明了勒文海姆–斯科伦(Löweheim-Skolem)定理。
勒文海姆–斯科伦定理是模型论最基本的定理之一:任何可数的理论如果有一个模型,那么这是一个可数的模型。
哥德尔第一非完备性定理:
任何一致的(Consistent)形式系统
If
换个具体的说法是:
没有一致的公理系统可以证明算术中的所有真命题。
也就是说, 任意支持算术的理论中, 一致性和完备性不可能同时满足。
哥德尔的ω一致概念:
另一个重要的工具是哥德尔数(G?del Numbering),提供一种将公式转换成自然数的机制。
核心思想是: 公式一旦能转换成自然数,就可以作为参数传递给公式了。
具体地,为每个符号
符号串(或公式)
其中
哥德尔的不动点(Fixed-Point)定理
如果
证明(梗概): 令Prf(x,y)(哥德尔原文中用B(x,y))是一个
1.
2.那么
现在令
3.
如果
所以,
4.
或者说(结合第4式和第2式),
后来, 布鲁斯(George Boolos)简化了哥德尔第一非完备性定理的证明。
哥德尔第二非完备性定理是第一非完备性定理的扩展, 一个简单的表述是:
语言的一致性不能在该语言中被证明。
If
严谨的哥德尔第二非完备性定理证明由希尔伯特和伯尼斯(Bernays)于1939年给出。
此外, 费弗曼(Feferman)于1960-1961年给出了更简洁的哥德尔第一、第二非完备性定理的严谨证明。