模板: 集合论

公理系统

Zermelo–Fraenkel 集合论 • 选择公理 • von Neumann–Bernays–Gödel 集合论

概念

集合 • 类 • 序数 • 基数 • 势 • 共尾类 • 滤子 • 超滤

构造

空集 • 单点集 • 子集 • 交集 • 并集 • 差集 • 幂集 • Descartes 积 • 无交并 • 映射 • 单射、满射、双射 • 像、原像 • 关系、运算

定理

良序定理 • Zorn 引理 • Gödel 不完备性定理 • 力迫法

假设

连续统假设 • 奇异基数假设 • 强连续统假设 • 可构造性公理 • Suslin 树 • 菱形原理 • Martin 公理 • 不可达基数

模型

von Neumann 宇宙 • Gödel 可构造宇宙 • Grothendieck 宇宙

取自 “https://www.bananaspace.org/w/index.php?title=模板:集合论&oldid=23245”