“可证”和“真”不是等价的

        1931年，奥地利数学家哥德尔，提出一条震惊学术界的定理——哥德尔不完备定理。

      该定理指出，我们目前的数学系统中，必定存在不能被证明也不能被证伪的定理。该定理一出，就粉碎了数学家几千年的梦想——即建立完善的数学系统，从一些基本的公理出发，推导出一切数学的定理和公式。

     可哥德尔不完备定理指出：该系统不存在，因为其中一定存在，我们不能证明也不能证伪的“东西”，也就是数学系统不可能是完备的，至少它的完备性和相容性不能同时得到满足。