Equiconsistency

n = 2 然后是一般的 n，用于证明双曲几何与通常欧几里得几何的等相容性（英语：equiconsistency）（equiconsistency）。 距离公式最先由阿瑟·凯莱在射影和球面几何的情形下写出。菲利克斯·克莱因意识到它对非欧几里得几何的重要性并普及了这个论题。

值得注意，雖然喬爾·哈姆金斯（英语：Joel David Hamkins）稱找到不能比較相容強度的大基數公理，仍有許多自然的大基數公理按相容強度（英语：Equiconsistency）組成全序。換言之，對於大基數公理 A 1 {\displaystyle A_{1}} 和 A 2 {\displaystyle A_{2}}

Solovay (1971) 證明了 ZFC 中可測基數的存在性，ZFC 中實值可測基數的存在性，與 ZF 中可測基數的存在性皆是等相容（英语：equiconsistency）的。 稱基數 α {\displaystyle \alpha } 為烏拉姆數若以下條件成立： 若 μ {\displaystyle \mu

传统逻辑 邏輯真理 恆真式 命题 推理 逻辑等价 一致性 相同一致性（英语：Equiconsistency） 逻辑论证 可靠性定理 有效性 直言三段论 对立四边形 文氏图 命题逻辑 逻辑代数 布尔函数 逻辑运算符 命题逻辑 命题公式 真值表 多值逻辑 三值 有限值（英语：Finite-valued

传统逻辑 邏輯真理 恆真式 命题 推理 逻辑等价 一致性 相同一致性（英语：Equiconsistency） 逻辑论证 可靠性定理 有效性 直言三段论 对立四边形 文氏图 命题逻辑 逻辑代数 布尔函数 逻辑运算符 命题逻辑 命题公式 真值表 多值逻辑 三值 有限值（英语：Finite-valued