定義
相對相容(relative consistency)幾何基礎的基本概念之一一個系統的相容性必須依靠另一個系統的相容性才能證明時，這就是相對相容.如果在理論上證明了某個公理系統決不會引出在邏輯上互相排斥的命題，則表示已經給出了該公理系統的相容性證明.相容性就是無矛盾性.所謂公理系統的相對相容性證明，就是把一個公理系統的相容性證明轉化為另一個看上去比較可靠的公理系統的相容性，或者說依靠某一個公理系統的無矛盾性來保證另一個公理系統的無矛盾性.反之，如果不依靠任何別的公理系統的相容性而直接從理論上證明一個公理系統的相容性，就稱其為公理系統的直接相容性證明.
