赞成。最后一句不好说。

图林说，不存在一个一般算法来判定一个任意给定的程序是否一定会终止。哥德尔说，任何相容的形式体系不能证明它本身的相容性。这些都说明任何理论体系都有局限性。