早在100年前，哥德尔就已经一次性永远地判处了逻辑体系的死刑。
任何一个形式系统，只要包括了简单的初等数论描述，而且是自洽的，它必定包含某些系统内所允许的方法既不能证明真也不能证伪的命题。

这都不知道，谈什么逻辑体系？

【 在 tarry 的大作中提到: 】
: 这个不能搞模糊化，现在说的科学一般都是指实验事实为根据并具有严密逻辑体系的近代科学，跟技术的确不是一回事。技术不需要逻辑体系，不用知道所以然
--
FROM 112.47.160.*