跳转到内容

林登鲍姆引理

维基百科,自由的百科全书

数理逻辑中,林登鲍姆引理,得名于阿道夫•林登鲍姆英语Adolf Lindenbaum,声称一阶逻辑的任意一致理论都能被拓展成完备英语Complete theory的一致理论。

此引理是逻辑代数超滤子引理的特殊状况,适用于一个理论的林登鲍姆代数

历史

林登鲍姆并没有发表这个引理;最初是由阿尔弗雷德·塔斯基将这个引理归功于他的。[1]

用途

此引理被用于哥德尔不完备定理和其他地方。[来源请求]

推广

根据哥德尔不完备定理,此引理的有效性版本:“任何一致的递回可枚举理论都能被拓展成完备且一致的递回可枚举理论”并不成立(因为皮亚诺算术是一致的) 。

备注

  1. ^ Tarski, A. On Fundamental Concepts of Metamathematics, 1930.

参考文献