現(xiàn)代意義上的集合概念是德國數(shù)學家康托(G．Cantor,，1845～1918)給出的,，他在研究三角級數(shù)收斂問題時發(fā)現(xiàn)，如果對于一個給定區(qū)間[a,，b]中的任何一點x,，當n→∞時，這個級數(shù)中的一般項

a_nsin(nx)+b_n cos(nx)

都趨向于0,，則系數(shù)所構(gòu)成的數(shù)列{a_n}和{b_n}就必須都趨向于0,。可是,，如果還有其他的系數(shù)的數(shù)列,，比如說{c_n}和{d_n}也滿足這個性質(zhì)，那么,，這些系數(shù)的數(shù)列之間將具有什么關(guān)系呢,？為了討論問題的方便，分別用A,，B,，C和D表示這四個系數(shù)構(gòu)成的數(shù)列，那么用現(xiàn)在的語言說,，這就形成了四個“點集”,。按照康托后來的定義，這四個集合代表的數(shù)列是等價的,，我們將在這一講的《無窮的度量與連續(xù)統(tǒng)》中詳細地討論這個問題,。

第一個集合論公理系統(tǒng)是德國數(shù)學家策梅羅(E．Zermelo，1871～1953)于1908年給出的,，他的著名論文《關(guān)于集合論基礎(chǔ)的研究》是這樣開始的：

“集合論是這樣一個數(shù)學分支,，它的任務(wù)就是從數(shù)學上以最為簡單的方式來研究數(shù)、序和函數(shù)等基本概念,，并借此建立整個算術(shù)和分析的邏輯基礎(chǔ),，因此構(gòu)成了數(shù)學科學的必不可少的組成部分，但是在當前這門學科的存在本身似乎受到某種矛盾或者悖論的威脅,，而這些矛盾和悖論似乎是從它的根本原理導出來的,，而且一直到現(xiàn)在，還沒有找到適當?shù)慕鉀Q辦法。面對著羅素關(guān)于‘所有不包含以自己為元素的集合的集合’的悖論,，事實上,，它今天似乎不能再容許任何邏輯上可以定義的概念‘集合’或‘類’為其外延。按照康托原來的關(guān)于集合的定義,，把我們直觀或者我們思考所確定的不同的對象作為一個總體,，現(xiàn)在看來，這個定義肯定要求加上某種限制,，雖然到現(xiàn)在為止還沒有成功地用另外同樣簡單的定義代替它,，而不引起任何疑慮。在這種情況下,，我們沒有別的辦法,，而只能嘗試反其道而行之。也就是從歷史上存在的集合論出發(fā),，來得出一些原理,，而這些原理是作為這門數(shù)學科的基礎(chǔ)所要求的。這個問題必須這樣解決,，使得這些原理足夠的狹窄,，足以排除掉所有的矛盾。同時,，要足夠的寬廣,，能夠保留這個理論所有有價值東西?！?/p>

我們知道，集合論是現(xiàn)代數(shù)學的基礎(chǔ),，可是,，從上面的論述中可以發(fā)現(xiàn)，作為科學典范的數(shù)學的論證基礎(chǔ),，從誕生的那個時刻開始就不平靜,，各種猜疑、非議,，甚至悖論,、批評相繼出現(xiàn)。我想,，對數(shù)學進行的研究,，至少對數(shù)學教育，認真分析這些爭論的核心問題是有必要的,，因為這對把握現(xiàn)代數(shù)學的論證思路和推理模式是有益處的,。策梅羅在上文中所說的羅素的悖論和康托原來的定義都是最為核心的問題，我們將詳細地討論這兩個問題，通過對這兩個問題的討論來探討如何給出集合的定義,，從而分析集合論公理化系統(tǒng)的本質(zhì),。

在日常生活和生產(chǎn)實踐中，有許多名詞經(jīng)常使用,，人們對這些名詞似乎有了約定俗成的理解,，借助這些理解人們就能夠進行很好的交流，甚至可以作出很好的研究,，但要給出這些名詞確切的定義非常困難,，“集合”這個名詞就是如此。在前幾講中,，我們曾經(jīng)反復地使用了集合的概念,，并且借助元素與集合之間、集合與集合之間的包含關(guān)系很好地分析了推理的過程,，構(gòu)建了一些推理的模式,。可是,，如何給出“集合”一個確切的定義呢,？

在我們使用集合這個概念的時候，頭腦中認定的集合大概是：所要研究問題對象的全體,。但在許多場合這個概念是模糊的,，比如我們曾經(jīng)舉例提到過的“北方人”、“辣的菜”,、“費時的工作”等等,。因此，在上述對于集合認定的基礎(chǔ)上至少還要加上一個限定詞：可分辨的,。于是大概可以認定集合是：可分辨的,、所要研究問題對象的全體。也就是說,，對于每一個所要研究問題的對象x,，我們能夠明確地知道這個對象x是否屬于這個集合。這又似乎變成了性質(zhì)而不是定義了,。

進一步用符號表示,。所謂“可分辨的”應當指：討論問題對象所具有的某種特性。我們用P表示這種特性,，那么可以規(guī)定：如果x具有特性P則認為x屬于集合,。從上述策梅羅的文章的述說中可以看到，這個規(guī)定已經(jīng)非常接近康托最初的定義了,。但是這個定義引發(fā)了許多悖論,。首先是羅素于1902年給出的一個悖論,，因為圖書的目錄也可以裝訂成書，因此對于有些圖書館,，“圖書館圖書的目錄”這個集合可以包括圖書目錄本身,，于是羅素認為：

“集合可以分為兩類，一類是構(gòu)建集合的特性包含了集合本身,，比如圖書目錄,，稱為R集，還有一類是構(gòu)建集合的特性不包含集合,，稱為非R集,。我們把所有非R集的集合總括為一個新的集合，用M表示,，現(xiàn)在的問題是：M屬于R集還是屬于非R集,？如果屬于R集，不符合M的定義,；如果屬于非R集,，那么按照R集的定義，M又應當屬于R集,。于是就出現(xiàn)了矛盾”

20世紀最偉大的數(shù)學家希爾伯特曾經(jīng)說過,，這個悖論對數(shù)學界具有災難性的后果。德國邏輯學家弗雷格(G．Frege,，1848 - 1925)正準備把他的著作《基本法則》的第二卷交付印刷時收到了羅素的來信,，信中提及上述悖淪。弗雷格在那本準備交付印刷的著作中,，把整個算術(shù)重新建立在集合淪的基礎(chǔ)上,，而他認為的集合就是康托所描述的那樣的集合，當他收到羅素的有關(guān)悖論的信之后非常緊張,，馬上重新審閱了書稿,，他在最終出版廠的這部著作的附言中，詳細地述說了當時的心情：

“在一項研究接近尾聲時,，其基礎(chǔ)突然坍塌，對于一個科學家,，再也沒有比這更令人沮喪的了,。這本書在交付印刷時羅素先生的信就使我陷入了這樣的境地?！?/p>

1918年,，羅素把這個悖論表述得更加通俗，就是廣為人知的“理發(fā)師悖論”：

“一個喜歡自夸的鄉(xiāng)村理發(fā)師宣稱,，他不給村里自己刮臉的人刮臉,，但給所有不自己刮臉的人刮臉,。后來他遇到了尷尬，他是否應當給自己刮臉呢,？如果他給自己刮臉,，那么按照他宣稱的前一半，就不應當給自己刮臉,；如果他不給自己刮臉,，那么按照他宣稱的后一半，就應當給自己刮臉,。理發(fā)師陷入了邏輯兩難的困境,。”

包括羅素本人在內(nèi)的大部分邏輯學家認為,，上面所說的兩個悖論是一致的,，是沒有本質(zhì)差異的。但我認為,，這兩個悖論是有本質(zhì)差異的：第一個悖論是與集合論公理體系有關(guān)的,；第二個悖論涉及的并不是集合論本身的問題，而涉及的是論證的哲學原理,。我們來分析這個問題,。

第一個悖論是由“圖書目錄的目錄仍然是目錄”所引發(fā)的，提出的是“集合是否可以包含集合本身”這樣的問題,。因此只要規(guī)定：集合A不包含集合A本身,，就像我們將要在下一節(jié)討論集合論公理體系中所規(guī)定的那樣，就可以化解這個問題,。事實上,，在現(xiàn)在測度論的教科書中，已經(jīng)把由集合的子集（包括集合本身）組成的類稱為“域”或者“代數(shù)”,，后來康托證明了就無窮多個元素而言,，“域”所含元素的個數(shù)比原來集合所含元素的個數(shù)多一個數(shù)量級。

第二個悖論是由“理發(fā)師的工作特征與自己的述說之間的矛盾“所引發(fā)的,，提出的是“判斷者是否可以進入判斷系統(tǒng)”的問題,。這是一個相當復雜的問題，這樣的問題在西方哲學中是少見的,，因此稱其為悖論,，但這樣的問題在東方哲學特別是中國古代哲學中卻是常見的。事實上,，我想,，我們在《推理的對象：命題》和《命題的基礎(chǔ)：定義》中曾經(jīng)討論過的，哥德爾論證的“一個公理系統(tǒng)的相容性不能通過該系統(tǒng)論證”這個命題的哲學原理也正在于此：通過系統(tǒng)自身的邏輯體系來評價這個體系的全貌是不可能的,。

如果康托關(guān)于集合的定義或者說關(guān)于集合的描述是不可行的,，是可以出現(xiàn)悖論的,，那么，到底應當如何定義集合呢,？

回想我們在《圖形與圖形關(guān)系德抽象》中關(guān)于平面幾何中基本概念的討論,，比如對點、線,、面的討論,。最初是古希臘學者泰勒斯（Thales，約前624～前546）直觀地研究了這些概念,，并且給出了最初的平面幾何的定理,。后來，歐幾里得抽象出了幾何學所要研究對象的定義：點是沒有部分的,，線只有長度沒有寬度,，面只有長度和寬度?？梢钥吹?，歐幾里得的定義并沒有完全擺脫經(jīng)驗層面的東西，我們曾經(jīng)稱這種定義為第一步抽象,。隨著研究的逐漸深入,，特別是非歐幾何的出現(xiàn)，人們發(fā)現(xiàn)了歐幾里得定義的缺陷,，于是又有了希爾伯特的關(guān)于定義的第二次抽象,，那就是符號化：用大寫字母A，B,，C表示點,，小寫字母a，b,，c表示線,，希臘字母α，β,，γ表示平面,。然后，希爾伯特通過構(gòu)建幾何公理化體系來確定點,、線,、面之間的關(guān)系。我們曾經(jīng)說過,，數(shù)學概念第二次抽象的特點是：數(shù)學表達的符號化和數(shù)學論證的形式化；并且我們說過,，盡管第二次抽象在形式上是美妙的,，但就功能而言,，第一次抽象發(fā)現(xiàn)了新的知識，第二次抽象合理地解釋了新的知識,。

同樣,，如果我們把康托關(guān)于集合的定義和論證看做第一次抽象的話，那么,，關(guān)于集合的第二次抽象是什么呢,？后續(xù)我們將接著討論這個問題。