定義 相對相容(relative consistency)幾何基礎的基本概念之一一個系統的相容性必須依靠另一個系統的相容性才能證明時,這就是相對相容.如果在理論上證明了某個公理...
可構造性(constructibility)一種可構造集理論,是研究集合的可構造性以及可構造集合的各種特殊性質的理論,也是證明集合論命題相對相容性的一種重要方法。...
內模型法(method of inner model)是集合論相對相容性證明的基本方法之一。設Σ1,Σ2為集合論語言中的兩個公式集,M為Σ1的一個模型,若存在公式A(x),使N={...
