说数学是 自洽 的是什么意思

“自洽”的意思是“一致”或者“不矛盾”

(说白了，“是不是自洽”就是指“能不能自圆其说”)

所以，如果一个数学系统是自洽的，那么对于该系统中的任何一条命题A，只要证明了 A 是对的，就不能证明 A 是错的；

相反，如果一个系统不自洽， 那么该系统至少包含一条命题A，使得 A 既能被证实也能被证伪；

(数学系统中有很多自洽的例子，比如：欧几里得的几何系统；

不自洽的例子是真没想出来，也没有搜到，不过只要理解了就好)