[Adam]

这是不可能的

从数学上来说，一个体系内部一定有不能用本体系内定理来证明的难题。计算机程序其实就是应用数学的化身。