查看“︁朴素集合论”︁的源代码

{{NoteTA
|G1 = Math
|1=zh-cn:數學對象;zh-tw:數學物件;
}}
在[[纯数学]]中，'''朴素集合论'''是探討[[数学基础]]時，用到的幾個[[集合論]]中的一個<ref>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)." [http://jeff560.tripod.com/s.html] {{Wayback|url=http://jeff560.tripod.com/s.html |date=20171103143310 }} The term was later popularized by [[Paul Halmos]]' book, ''Naive Set Theory'' (1960).</ref>，朴素集合论主要是將用一般語言的形式處理集合問題，依赖於把[[集合 (數學)|集合]]作为叫做这个集合的“元素”或 “成员”的[[類 (數學)|搜集]]（collection），未有形式化的理解。和用[[公理]]定義而產生的[[公理化集合论]]不同。

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

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

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

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

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

若集合''A''和''B''相等，可以表示為''A''&nbsp;=&nbsp;''B''。

=== 空集合 ===
'''[[空集合]]'''常會以Ø表示，有時會表示為<math>\{\}</math>，是一個沒有任何元素的集合，因為集合可完全由其元素來確認，因此只有一個空集合（參考[[空集公理]]）。雖然空集合沒有任何元素，但空集合本身可以是其他集合的元素。因此Ø ≠ {Ø}，因為前者沒有元素，後者有一個元素。<!-- It is interesting to note that, in mathematics, the only sets with which one needs to be concerned can be built up from the empty set alone ({{harvtxt|Halmos|1974}}).-->

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

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

朴素集合论也可以指許多不同的主題，可以是：
* 公理化集合論的非正式表示，例如[[保羅·哈爾莫斯]]的《{{le|Naive Set Theory (書)|Naive Set Theory (book)|Naive Set Theory}}》。
* 格奥尔格·康托尔理的其他版本，或是其他非公理化的理論。
* 具有決定性不一致的理論（不論是否公理化），例如戈特洛布·弗雷格提出<ref>{{harvnb|Frege|1893}} In Volume 2, Jena 1903. pp. 253-261 Frege discusses the antionomy in the afterword.</ref>，會造成[[羅素悖論]]的理論，或是[[朱塞佩·皮亞諾]]<ref>{{harvnb|Peano|1889}} Axiom 52. chap. IV produces antinomies.</ref>或[[理查德·戴德金]]的理論。

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

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

因此朴素集合论的一致性系統需要在可形成集合的條件上作一些限制，以避免出現上述悖論。
==腳註==
{{reflist}}
==參考資料==
*{{citation|first=Georg|last=Cantor|title=Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen|journal=Journal für die reine und angewandte Mathematik|volume=77|year=1874|pages=258–262|url=http://www.digizeitschriften.de/main/dms/img/?PPN=GDZPPN002155583|postscript=, See also [http://bolyai.cs.elte.hu/~badam/matbsc/11o/cantor1874.pdf pdf version: ]|doi=10.1515/crll.1874.77.258|accessdate=2017-01-28|archive-date=2012-06-04|archive-url=https://archive.today/20120604145721/http://www.digizeitschriften.de/main/dms/img/?PPN=GDZPPN002155583|dead-url=no}}
* {{citation|first=Gottlob|last=Frege|title=Grundgesetze der Arithmetik|volume=1|year=1893|location=Jena 1893.}}
* {{citation|first=Giuseppe|last=Peano|title=Arithmetices Principies nova Methoda exposita|year=1889|location=Turin 1889.}}

==参见==
*[[集合代数]]
*[[公理化集合论]]
*[[罗素悖论]]

[[Category:集合论|*]]
[[Category:集合論系統]]
{{集合论}}