鑽石原則鑽石原則（◊）是由羅納德·詹森（英语：Ronald Jensen）在Jensen (1972)引入的組合原理，它適用於哥德尔可构造全集（英语：Gödel's constructible universe）（L）並暗示了連續統假設。羅納德·詹森在證明中提取了鑽石原理，即constructibility公理（英语：Axiom of constructibility）（V
大基数{\displaystyle \lambda } ，則疊代「可定義」冪集運算（而非完整的冪集運算），便得哥德爾可構全集（英语：Gödel's constructible universe） L {\displaystyle L} ，其不認為存在可測基數，即使 L {\displaystyle L} 仍包含 λ {\displaystyle
梭羅維模型ℵ 1 {\displaystyle \aleph _{1}} 是正則的，那麼在可構造全集（英语：constructible universe）中， ℵ 1 {\displaystyle \aleph _{1}} 就是不可達的。而將他的結果與梭羅維模型結合，可知「存在不
交集替代 分类 运算 笛卡儿积 德摩根定律 交集 冪集 补集 对称差 并集 概念 方法 势 基数（大基数） 类 可构造全集（英语：Constructible universe） 连续统假设 對角論證法 元素 有序对 元组 集合族 力迫 一一对应 序数 超限归纳法 文氏图 集合类型 可數集 空集 有限集合（继承有限集合）
對角論證法超滤子（英语：Ultrafilter (set theory)） 递归集合 模糊集 全集 可构造全集（英语：Constructible universe） 格伦迪克全集（英语：Grothendieck universe） 冯·诺伊曼全集 映射与势 函数、映射 定义域 到达域 像 单射、满射、双射 康托尔-伯恩斯坦-施罗德定理