数理逻辑就是数理逻辑，没有“计算机系的数理逻辑”这种东西。

哥德尔的两个不完全性定理，是数理逻辑的基本内容，零阶和一阶逻辑不完备，高阶逻辑一般不一致，这都是常识。


【 在 FirstVest 的大作中提到: 】
: 对不起对不起，
: 如果是计算机系用的《数理逻辑》，
: 你当然学过，我相信你也非常熟悉。
: ...................
--
FROM 111.167.211.*