【资料图】
1、“自洽”的意思是“一致”或者“不矛盾”(说白了，“是不是自洽”就是指“能不能自圆其说”)所以，如果一个数学系统是自洽的。
2、那么对于该系统中的任何一条命题A，只要证明了 A 是对的，就不能证明 A 是错的；相反。
3、如果一个系统不自洽， 那么该系统至少包含一条命题A，使得 A 既能被证实也能被证伪；(数学系统中有很多自洽的例子。
4、比如：欧几里得的几何系统；不自洽的例子是真没想出来，也没有搜到，不过只要理解了就好)。
本文就为大家分享到这里，希望小伙伴们会喜欢。
【资料图】
1、“自洽”的意思是“一致”或者“不矛盾”(说白了，“是不是自洽”就是指“能不能自圆其说”)所以，如果一个数学系统是自洽的。
2、那么对于该系统中的任何一条命题A，只要证明了 A 是对的，就不能证明 A 是错的；相反。
3、如果一个系统不自洽， 那么该系统至少包含一条命题A，使得 A 既能被证实也能被证伪；(数学系统中有很多自洽的例子。
4、比如：欧几里得的几何系统；不自洽的例子是真没想出来，也没有搜到，不过只要理解了就好)。
本文就为大家分享到这里，希望小伙伴们会喜欢。
