存在的!哥德尔不完全性定理证明了一个包含初等数论的形式系统中必然包括有这样的命题——它和它的否定都不可能被证明.在少数情况下,我们可能证明某些猜想是不可判定的,例如“连续统假设”,已经被证明是不可判定的!也...