讚成。最後一句不好說。

圖林說，不存在一個一般算法來判定一個任意給定的程序是否一定會終止。哥德爾說，任何相容的形式體係不能證明它本身的相容性。這些都說明任何理論體係都有局限性。