英文
relative consistency
简介
几何基础的基本概念之一.一个系统的相容性必须依靠另一个系统的相容性才能证明时，这就是相对相容.如果在理论上证明了某个公理系统决不会引出在逻辑上互相排斥的命题，则表示已经给出了该公理系统的相容性证明.相容性就是无矛盾性.所谓公理系统的相对相容性证明，就是把一个公理系统的相容性证明转化为另一个看上去比较可靠的公理系统的相容性，或者说依靠某一个公理系统的无矛盾性来保证另一个公理系统的无矛盾性.反之，如果不依靠任何别的公理系统的相容性而直接从理论上证明一个公理系统的相容性，就称其为公理系统的直接相容性证明.