第一，狭义逻辑自洽，也就是在你的理性逻辑上，你的理论和学说在精密逻辑证明中不发生自相矛盾。

第二，他洽。所谓“他洽”，就是对你不能否证的其他学说，你不能与之发生矛盾，除非你能够否定它。

第三，续洽。所谓“续洽”，就是对新出现的信息增量，你原有的逻辑模型要能够容纳。