1樓：
自洽應該就是 self-consistent，在不考慮別的東西的時候，說乙個東西是自洽的就是說這個東西是一致的（consistent），在考慮兩個公理系統的時候則有可能出現雖然兩個公理系統各自自洽，但是放在一起不一致的情形。在不區分證明論和模型論視角，或者說，有完全性定理的時候，一致的和融貫的（coherent）是一回事，但是具體表述上是不同的：
說乙個（公理）系統是一致的，就是說對於任意乙個系統中的命題，如果這個系統能夠證明出，那麼它就證明不出。說乙個公式集合是一致的，就是說對於任意的這個公式集合不能同時推出和。
說乙個（公理）系統是融貫的，就是說這個系統有模型，也就是說，存在乙個模型使得這個系統中的定理全部都是真的。或者說，存在乙個模型使得這個系統中的公理全都是真的，而推理規則全都是保真的。說乙個公式集合是一致的，就是說存在乙個模型使得這個公式集合中的所有公式在這個模型中都得到滿足/為真。
模型的概念在模型論裡面有專門的定義，但是基本上可以做乙個簡單的理解，比如說三維線性空間加上標準度量是歐幾里得幾何公理系統的乙個模型。宇宙本身加上什麼作為度量是黎曼幾何的乙個模型。自然數是皮亞諾公理的乙個模型。
另外，算術系統的一致性是不能證明的，我們只是相信它是一致的，但是也沒有人會去相信算術系統是不一致的。其它東西都能還原為算術系統，畢竟我們有哥德爾編碼。
「圈地自萌」是什麼意思？
紫蓮 圈地自萌 其實也是很無奈的一種舉動了 因為亞文化圈太大了 亞文化圈是由無數的小文化圈組成的 小文化圈都在亞文化圈裡，難免會有文化流出 要是都喜歡，那就是爬牆 要是都不喜歡，就是戰場 為了避免這種事情發生 小文化圈都把自己保護起來，不讓文化流出 這就是圈地自萌 其實，我覺得圈地自萌的出現真的很神...
數學中的 分析 是什麼意思？
饒展 極限和無限描述的是過程，而不是狀態。任何乙個具體的狀態，都有發展的過程，你找到任何乙個角度，都可以無盡的拆分梳理這個過程，所以數學中的 分析 就是要把握森林中的每一棵樹木，甚至每一棵樹木的前世今生和平行空間，這和日常語言中講的 提綱挈領 是完全不同的。 Ethan Cheng 我們平日裡說分析...
數學中的補集是什麼意思？
STBAWM 補集補集，一般指絕對補集，指全集中不屬於某一子集的所有元素組成的集合。一般地，設S是乙個集合，A是S的乙個子集，由S中所有不屬於A的元素組成的集合，叫做子集A在S中的絕對補集 簡稱補集或餘集 中文名補集 外文名complementary 別名餘集 表示式UA 定義在集合論 補集和數學的...