例子
在狹義相對論中，假定K'系相對於K系以速度V運動，則K系相對於K'系的速度為-V。為什麼一定是-V呢？直觀上當然如此，相對性原理的假設只是說物理定律的平權，並未假定相對速度的大小相等。不過，當後面推出速度變換公式來的時候，值確實是-V，就像經典力學中伽利略變換公式得出的-V一樣。它們都是自洽的。自洽性會加強我們對理論的信心，然後等著實驗來驗證。
邏輯自洽
簡單地說就是按照自身的邏輯推演的話，自己可以證明自己至少不是矛盾或者錯誤的，這就是簡單的自洽性。科學研究本身就是遵循自洽性的，建立於客觀基礎上，反之則建立於主觀之上，最終歸屬不可證偽與證明，一個不能夠滿足自洽性的理論或者方法顯然是不攻自破的。
軟體自洽
所謂自洽：“某個理論體系或者數學模型的內在邏輯一致，不含悖論”。
轉移到計算機軟體，我對它的定義為“一個計算機軟體，在各個模組，各個函式，各個功能之間對相同問題，沒有不同的看法”。比如我們的軟體中包含了供應商，和主要供應商，如果在採購時允許用戶對同一個商品有多個供應商，可是在查詢的時候，卻僅僅為用戶提供“按主要供應商查詢的功能”，即是一個不自洽。軟體自恰和需求無關，沒有任何需求的情況下，一樣可以檢查系統的自洽性。自洽性是測試的一個基本工具。今天的軟體自洽，但是隨著新的需求的引入，一定會打破原來的自洽，引入新一輪的自洽過程，從而進入新一級的自洽。
