同一個理論體系內的假設之間要滿足邏輯自洽；不同理論體系之間要滿足理論各自適用範圍的條件。

舉兩個栗子：1. 相對論有一個局域性假設，雖然量子理論以前主要用於微觀世界，但是最新的遠距離量子糾纏實驗已經證明了這個局域性假設在一定條件下失效。2. 廣義相對論預言了黑洞卻不能處理奇點，可是偏偏黑洞又是現實存在的；也就是說該理論本身就存在可適用範圍和條件。

也許尋找邏輯上統一自洽理論這個概念本身就是矛盾的。

邏輯自洽是每一個理論體系自身所必須的要求。但是，令人遺憾的是，在數學上，有一個哥德爾定理，摧毀了人們這個美好的願望。在數學中，希爾伯特所強調的公理化方法原來是一個強有力的方法，但在哥徳爾之後，人們便失去了對形式系統公理化追求的興趣。

但是，我們不能因此就可能胡說八道。邏輯自洽，至少是對我們所要使用的部分保證邏輯自洽，仍然是人們的願望。

應用公理化的方法對物理理論進行整理，是保證理論體系無矛盾的一個十分有效的措施。但現在物理學家們熱衷於發現新的物理規律，而不太在意理論內部的邏輯自洽，這導致現有的物理理論體系很不完善，甚至矛盾重重。更讓人難以忍受的是，許多人居然公然違反邏輯一致性的要求。例子就不舉了。

牛頓寫的《自然哲學的數學原理》，就曾仿照了歐幾里德《幾何原理》，釆用了公理化的表述方式。

在物理學中，除了邏輯自洽外，還有一個要求需要絕對符從，那就是要接受實驗的檢驗。