数学高手进，存在不可证明的事实吗

Question

指不是由于人类或者其他更高智慧生命的智商还是不够高导致证明不出来，就是无法证明，当确是对的，有吗？

Answer 1

有的，首先：数学证明的基础事实——公理无法被证明。
其次，存在诸如连续统假设、选择公理这种，成立与不成立均不会导致体系矛盾的命题，自然也就不存在正确与否了。
总而言之，由哥德尔第二不完备定理，体系内存在不能证真也不能证伪的命题。