提及自洽是什么意思的相关内容,许多人不太了解,来看看小光的介绍吧!
“自洽”的意思是“一致”或者“不矛盾”
(说白了,“是不是自洽”就是指“能不能自圆其说”)
所以,如果一个数学系统是自洽的,那么对于该系统中的任何一条命题A,只要证明了A是对的,就不能证明A是错的;
相反,如果一个系统不自洽,那么该系统至少包含一条命题A,使得A既能被证实也能被证伪;
(数学系统中有很多自洽的例子,比如:欧几里得的几何系统;
不自洽的例子是真没想出来,也没有搜到,不过只要理解了就好)
本文字数共计261字,希望能对大家有所帮助。