这就是“内部包含着否定性”吧，也就是正题包含着反题，只有它将自己展开，经历一次辩证运动，才能成功升华为合题。

根本问题应该还是自然语言的模糊性，如果都能够准确对应到形式逻辑的节点上，通过计算机推导出来自圆其说，那倒是可以证实了，计算机不会犯错。

当然，可惜的是，最容易出问题的就是刚才作为前提的“准确对应到形式逻辑的节点上”。