吧里真的是好冷清啊

一阶谓词逻辑里，定理或永真式的可判定性。
在命题逻辑、一阶一元谓词逻辑里，它们是可判定的。
在一阶二元或多元谓词逻辑里，它们是不可判定的。

算术的形式系统，没有完备性。例如，皮亚诺系统。
即：【有些永真式不是定理。】
就是通常说的，哥德尔不完备性定理。
***
求通俗解：哥德尔完备性定理？
http://tieba.baidu.com/p/2223203739?pid=30610696172&cid=30640409326#30640409326
要看懂哥德尔不完备定理的证明过程，需要具备哪些基础知识？
http://tieba.baidu.com/p/2354502519?pid=33300421389&cid=33816019847#33816019847
哥德尔不完备定理：我是不能被证明的!
http://tieba.baidu.com/p/2175049256?pid=35505475667&cid=0#35505475667
***
哥德尔不完全定理以及相关技术的证明（完全学术，慎入）
http://tieba.baidu.com/p/1663860297

出版社： 商务印书馆
ISBN：9787100083263
版次：1
上架时间：2014-12-04 14:59:43
商品编码：1048927215
包装：平装
出版时间：2012-08-01
页数：862
正文语种：中文
【逻辑和形式系统】【99页-306页。】

我十目一行也还是看不懂啊。

标记之

好像没有人系统研究类比逻辑？