在上學(xué)時(shí)，我們或許都曾聽聞老師講述這樣一個(gè)道理：偶數(shù)和整數(shù)一樣多。

果真如此嗎？的確，兩者皆屬無窮盡之?dāng)?shù)，似是數(shù)量相當(dāng)。然而，反觀另一面，偶數(shù)僅為整數(shù)的一部分，那些遺留下來的奇數(shù)又該如何算計(jì)？難道整數(shù)的數(shù)量不應(yīng)勝過偶數(shù)嗎？

為易于領(lǐng)會(huì)，我們不妨審視一下“兩集合一樣大”究竟何意。譬如我指著自己的右手，宣稱與左手的指頭數(shù)目相同，這又意味著什么？當(dāng)然，左右手均各有五指，但更簡便的解讀，根本無需細(xì)數(shù)，只需觀察它們能否一一對(duì)應(yīng)即可。

實(shí)際上，有記載表明，某些遠(yuǎn)古部族的語言中，沒有能表達(dá)超過三的數(shù)字的詞匯，他們正是利用了這種一一對(duì)應(yīng)的策略。以放羊?yàn)槔糯撩衩糠懦鲆恢谎颍銛[放一塊石頭作為記號(hào)，待羊群歸圈時(shí)，再逐一取回石頭。如此，便可知羊群是否齊全，而無需逐一計(jì)數(shù)。

我們還可以用一個(gè)例子來說明一一對(duì)應(yīng)比計(jì)數(shù)更為基礎(chǔ)。假設(shè)你在一個(gè)擠滿了聽眾的大講堂中發(fā)表演說，每個(gè)人都占據(jù)了一個(gè)座位，沒有站立者，那么顯而易見，聽眾人數(shù)與椅子數(shù)量是一致的，即便你不知道它們的確切數(shù)量。

因?yàn)椋^的集合一樣大，其核心含義在于，兩個(gè)集合的元素可以依照一定方式一一對(duì)應(yīng)。

那么，我們?cè)倩氐嚼蠋焸兯v的整數(shù)與偶數(shù)數(shù)量相同的議題上。如果將所有整數(shù)排成一列，并在每個(gè)整數(shù)下方寫出其兩倍，那么便可明了地看到下方的數(shù)列包含了全部的偶數(shù)。兩行數(shù)字一一對(duì)應(yīng)，換言之，整數(shù)和偶數(shù)的數(shù)量是相同的。

然而，偶數(shù)似乎只是整數(shù)的子集這一事實(shí)依舊令人困擾。實(shí)際上，如果某種元素匹配嘗試未能成功，這并不意味著什么。只要能找到一種一一對(duì)應(yīng)的方式，便能證明兩個(gè)集合的元素?cái)?shù)量相等。

我們不妨再提出一個(gè)問題：所有的分?jǐn)?shù)能否排成序列？此問題似乎頗具難度，因?yàn)榉謹(jǐn)?shù)的數(shù)量過于龐大，而且瞬間難以決定哪個(gè)應(yīng)該排第一，又如何確保所有分?jǐn)?shù)皆包含在內(nèi)？

但一個(gè)巧妙的方法能夠?qū)⑺蟹謹(jǐn)?shù)排成序列。19世紀(jì)末，格奧爾格-康托爾首次實(shí)現(xiàn)了這一壯舉。

首先，將所有分?jǐn)?shù)置于方陣之中，確保每個(gè)分?jǐn)?shù)都在其中。假設(shè)尋找117/243，它就在第117行，第243列。通過從左上角開始，沿著對(duì)角線來回移動(dòng)，跳過像2/2這樣的已選分?jǐn)?shù)，我們便能得到所有分?jǐn)?shù)的列表。這意味著，我們?cè)谡麛?shù)和分?jǐn)?shù)之間建立了一一對(duì)應(yīng)，盡管我們?cè)究赡苷J(rèn)為分?jǐn)?shù)的數(shù)量更多！

然而，更有趣的還在后頭。

眾所周知，并非所有的實(shí)數(shù)——即并非數(shù)軸上的所有數(shù)都是分?jǐn)?shù)。像根號(hào)2和π這樣的數(shù)被稱為無理數(shù)，這并非因?yàn)樗鼈兪チ死硇裕且驗(yàn)榉謹(jǐn)?shù)是整數(shù)的比（即有理），所以被稱為有理數(shù)。這意味著，剩下的數(shù)是那些不成比例的數(shù)，即無理數(shù)，它們通常用無限不循環(huán)的小數(shù)表示。

那么，我們能否在整數(shù)和所有小數(shù)的集合之間建立一一對(duì)應(yīng)呢？就像下圖所示，其中包含了有理數(shù)和無理數(shù)。

換句話說，所有的小數(shù)能排成一列嗎？

康托爾證明了這是不可能的。不是不知如何操作，而是根本無法實(shí)現(xiàn)。也就是說，小數(shù)的數(shù)量代表了一種超越整數(shù)無限的更大的無限。因此，盡管我們只熟悉有限的幾個(gè)無理數(shù)，如根號(hào)2和π，但無理數(shù)的無限實(shí)際上要大于分?jǐn)?shù)的無限。

有人曾比喻，有理數(shù)（分?jǐn)?shù)）如同夜空中的星星，而無理數(shù)則象征著無盡的黑暗！

康托爾進(jìn)一步證明，對(duì)于任何一種無限集合，只要用該集合的所有子集構(gòu)建一個(gè)新的集合，就代表了比原集合更大的一種無限。這意味著，只要有了一種無限，就總能創(chuàng)造出更大的無限，只要考慮第一個(gè)集合的所有子集的集合，并持續(xù)進(jìn)行這一過程！因此，大小各異的無限共有無限種之多！

這些觀點(diǎn)可能令你感到不適，一時(shí)難以接受。實(shí)際上，除了你之外，康托爾時(shí)代的一些最杰出的數(shù)學(xué)家也對(duì)此表示反對(duì)，他們?cè)噲D將這些無限轉(zhuǎn)變成無關(guān)緊要的事物，希望數(shù)學(xué)能不依賴它們而存在。康托爾甚至因此遭受了人身攻擊，境遇之惡劣導(dǎo)致他患上了嚴(yán)重的抑郁癥，并在余生反復(fù)進(jìn)出精神病院。

然而，他的理論最終獲得了勝利。如今它們被視為基礎(chǔ)性的偉大思想，所有從事研究的數(shù)學(xué)家都接受了這些觀點(diǎn)，各大學(xué)府的數(shù)學(xué)課程也教授它們！也許在未來，它們將成為常識(shí)！

但是故事還未結(jié)束。剛剛我們已經(jīng)指出，小數(shù)（即實(shí)數(shù)）的集合是一個(gè)比整數(shù)集合更大的無限。康托爾好奇的是，在這兩者的無限之間是否還存在其他大小不同的無限。他認(rèn)為不存在，但無法證明這一點(diǎn)。

康托爾的這一猜想后來被稱作“連續(xù)統(tǒng)假設(shè)”。1900年，數(shù)學(xué)家大衛(wèi)-希爾伯特將其列為數(shù)學(xué)中最重要的未解決問題之一。1940年，庫爾特-哥德爾證明了“連續(xù)性假設(shè)不可能被證明”是不正確的。而到了1963年，保羅-庫恩證明了連續(xù)性假設(shè)是不可證明的。

這些發(fā)現(xiàn)共同表明，數(shù)學(xué)中存在一些無法解答的問題，這是一個(gè)令人震驚的事實(shí)。數(shù)學(xué)被認(rèn)為是人類理性的巔峰，但現(xiàn)在我們意識(shí)到，即使數(shù)學(xué)也有其局限性。然而，數(shù)學(xué)中仍有許多奇妙的真理值得我們?nèi)ヌ剿骱退伎迹?/p>