作业帮 > 数学 > 作业

存在不可证明的事实吗指不是由于人类或者其他更高智慧生命的智商还是不够高导致证明不出来,就是无法证明,当确是对的,

来源:学生作业帮 编辑:百度作业网作业帮 分类:数学作业 时间:2024/07/31 11:01:31
存在不可证明的事实吗
指不是由于人类或者其他更高智慧生命的智商还是不够高导致证明不出来,就是无法证明,当确是对的,
存在不可证明的事实吗指不是由于人类或者其他更高智慧生命的智商还是不够高导致证明不出来,就是无法证明,当确是对的,
有的,首先:数学证明的基础事实——公理无法被证明.
其次,存在诸如连续统假设、选择公理这种,成立与不成立均不会导致体系矛盾的命题,自然也就不存在正确与否了.
总而言之,由哥德尔第二不完备定理,体系内存在不能证真也不能证伪的命题.