什么是自洽

自洽[self-consistent]，简单地说就是按照自身的逻辑推演的话,自己可以证明自己至少不是矛盾或者错误的。这就是简单的自洽性。

自洽性会加强我们对理论的信心，然后等着实验来验证。

在狭义相对论中，假定K'系相对于K系以速度V运动，则K系相对于K'系的速度为-V。今天的软件自洽，但是随着新的需求的引入，一定会打破原来的自洽，引入新一轮的自洽过程，从而进入新一级的自洽。