在纯数学中，**朴素集合论**是探討数学基础時，用到的幾個集合論中的一個，朴素集合论主要是將用一般語言的形式處理集合問題，依赖於把集合作为叫做这个集合的"元素"或 "成员"的搜集（collection），未有形式化的理解。和用公理定義而產生的公理化集合论不同。

而公理化集合论只使用明确定义的公理列表，還有從中证明的关于集合和成员关系的種種事实，公理起源自对对象的搜集和它们的成员的理解，但为了各种目的而被謹慎地构建，例如是避免已知的各種悖论，例如理发师悖论－一個理髮師他只為（而且一定要為）城裡所有不為自己刮鬍子的人刮鬍子，那理髮師該為自己刮鬍子嗎？

集合在数学中是极其重要的；事實上，採用现代的形式化定義，多種数学对象（数、关系、函数等等）都可以用集合来構建。

集合、成員及相等
--------

在朴素集合论中，集合是指由許多物件組成，有明確定義的搜集（collection）。這些物件稱為集合的**元素**或是**成員**。物件可以是數字、人、其他組合等。例如，4是所有偶數形成集合中的元素。而集合的成員可以是無限多個，像是偶數形成的集合就有無限多個元素。

### 成員

若*x*是集合*A*的成員，也可以說*x***屬於***A*，可以用*x* ∈ *A*表示，∈符號衍生自希臘字母小寫的ε，是朱塞佩·皮亞諾在1889年引入，應該是因為是ἐστί（意思是"是"）的第一個字母。也常在*x* ∉ *A*的式子中用到符號 ∉，意思是x不屬於A。

### 相等

兩個集合*A*和*B*若其元素完全相同，則定義為二集合**相等**。也就是說，集合*A*的每一個元素都在集合*B*裡，而集合*B*的每一個元素都在集合*A*裡（參考外延公理）。因此一個集合可完全由其元素來確認，描述方式不是重點。例如一個有元素2, 3和5的集合和由小於6的質數組成的集合相等。

若集合*A*和*B*相等，可以表示為*A* = *B*。

### 空集合

**空集合**常會以Ø表示，有時會表示為\{\}，是一個沒有任何元素的集合，因為集合可完全由其元素來確認，因此只有一個空集合（參考空集公理）。雖然空集合沒有任何元素，但空集合本身可以是其他集合的元素。因此Ø ≠ {Ø}，因為前者沒有元素，後者有一個元素。

特點
--

朴素集合论中的「朴素」是指一個非形式化的理論，也就是用自然語言來描述集合以及集合的運算。語言中用到的and、or、if ... then、not、for some、for every都和一般數學中使用的相同。為了方便起見，朴素集合论中用到的用語也會在更高階的數學中出現，甚至是出現在公理化集合论中。

朴素集合论是最早發展的集合論，是在19世紀末由格奥尔格·康托尔在其无限集合的研究中提出的，後來由戈特洛布·弗雷格在《概念文字》一書中繼續發展。

朴素集合论也可以指許多不同的主題，可以是：

* 公理化集合論的非正式表示，例如保羅·哈爾莫斯的《Naive Set Theory（英语：）》。
* 格奥尔格·康托尔理的其他版本，或是其他非公理化的理論。
* 具有決定性不一致的理論（不論是否公理化），例如戈特洛布·弗雷格提出，會造成羅素悖論的理論，或是朱塞佩·皮亞諾或理查德·戴德金的理論。

### 悖論

朴素集合论中假設任何一個性質都可以用來建構集合，不受任何限制，此一假設就造成了悖論，一個常見的悖論是羅素悖論：
沒有一個集合是由「所有不包括自身的集合」所組成的。

若存在此一集合，集合是由「所有不包括自身的集合」所組成的，則

* 若此集合不是集合本身的成員，此集合符合「不包括自身的集合」的定義，應該要是此集合的成員之一，矛盾。
* 若此集合是集合本身的成員，此集合不符合「不包括自身的集合」的定義，不應該在此集合中，矛盾。

因此朴素集合论的一致性系統需要在可形成集合的條件上作一些限制，以避免出現上述悖論。

腳註
--

1. ↑  Concerning the origin of the term *naive set theory*, Jeff Miller says, "*Naïve set theory* (contrasting with axiomatic set theory) was used occasionally in the 1940s and became an established term in the 1950s. It appears in Hermann Weyl's review of P. A. Schilpp (ed) *The Philosophy of Bertrand Russell* in the *American Mathematical Monthly*, 53. No. 4. (1946), p. 210 and Laszlo Kalmar's review of *The Paradox of Kleene and Rosser* in *Journal of Symbolic Logic*, 11, No. 4. (1946), p. 136. (JSTOR)."  （页面存档备份，存于） The term was later popularized by Paul Halmos' book, *Naive Set Theory* (1960).
2. ↑  Cantor 1874
3. ↑  Frege 1893 In Volume 2, Jena 1903. pp. 253-261 Frege discusses the antionomy in the afterword.
4. ↑  Peano 1889 Axiom 52. chap. IV produces antinomies.

參考資料
----

* Cantor, Georg, Journal für die reine und angewandte Mathematik, 1874, **77**: 258–262  [2017-01-28], doi:10.1515/crll.1874.77.258, （原始内容存档于2012-06-04）, See also pdf version:
* Frege, Gottlob,  **1**, Jena 1893. 1893
* Peano, Giuseppe, Turin 1889. 1889

参见
--

* 集合代数
* 公理化集合论
* 罗素悖论



|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
集合论 |
| --- |
|  |
| 公理 | 
* 选择
	+ 可数
	+ 依賴
* 外延
* 无穷
* 配对
* 幂集
* 正则性
* 并集
* 马丁公理

* 公理模式
	+ 替代
	+ 分类

 | Venn diagram of set intersection |
|  |
| 运算 | 
* 笛卡儿积
* 德摩根定律
* 交集
* 冪集
* 补集
* 对称差
* 并集

 |
|  |
| * 概念
* 方法
 | 
* 势
* 基数（大基数）
* 类
* 可构造全集（英语：）
* 连续统假设
* 對角論證法
* 元素
	+ 有序对
	+ 多元组
* 集合族
* 力迫
* 一一对应
* 序数
* 超限归纳法
* 文氏图

 |
|  |
| 集合类型 | 
* 可數集
* 空集
* 有限集合（继承有限集合）
* 模糊集
* 无限集合
* 递归集合
* 子集
* 传递集合
* 不可數集
* 泛集（英语：）

 |
|  |
| 理论 | 
* 可替代的集合论
* 集合论
* 朴素集合论
* 康托尔定理

* 策梅洛
	+ 广义（英语：）
* 《数学原理》
	+ 新基础
* 策梅洛-弗兰克
	+ 冯诺伊曼-博内斯-哥德尔
		- Morse–Kelley（英语：）
	+ 克里普克–普拉特克（英语：）
	+ 塔斯基–格罗滕迪克（英语：）

 |
|  |
| * 悖论（英语：）
* 问题
 | 
* 罗素悖论
* 蘇斯林問題
* ZFC系統無法確定的命題列表

 |
|  |
| 集合論者 | 
* 亚伯拉罕·弗兰克尔
* 伯特兰·罗素
* 恩斯特·策梅洛
* 格奥尔格·康托尔
* 约翰·冯·诺伊曼
* 库尔特·哥德尔
* 盧菲特·澤德
* 保尔·贝尔奈斯（英语：）
* 保罗·寇恩
* 理查德·戴德金
* 湯瑪士·葉赫
* 威拉德·蒯因

 |

 |