概念

朴素集合论

以直观方式研究集合、关系、函数、等价关系与序结构，是各数学分支的日常语言，但因罗素悖论而需要公理化修正。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

朴素集合论逻辑与集合论

01定义

朴素集合论以直观方式研究集合：并、交、补的运算，关系与函数的定义，等价关系的商构造，偏序与良序的层级。它是所有数学分支的日常语言——直到罗素悖论提醒我们需要公理化。

集合的基本运算：并、交、补由韦恩图直观呈现

关系是笛卡尔积的子集；函数是「每个输入恰有一个输出」的特殊关系——数学中最基本的两类对象都在集合语言中定义。

等价关系（自反、对称、传递）与划分一一对应；商集 $A/{\sim}$ 是「把等价的东西视为同一」的构造——整数、有理数由此定义。

$R=\{x:x\notin x\}$ 导致 $R\in R\iff R\notin R$ ——「任意性质定义集合」的朴素原则崩塌，催生 ZFC 公理化。

|A\cup B|=|A|+|B|-|A\cap B|

R=\{x:x\notin x\}\Rightarrow R\in R\iff R\notin R

康托尔 1870-80 年代创立集合论以研究三角级数与无穷；戴德金、皮亚诺推进算术的集合化；1901 年罗素悖论震动了整个数学基础。

数据库的关系代数（SQL 的理论基础）、概率论的事件代数、类型系统的集合语义——集合语言是跨学科的通用容器。

罗素悖论：R = {x : x ∉ x}把集合分成「含自身的」与「不含自身的」两类，R 应放哪边？悖论由此产生

推理步骤0