四川省攀枝花市老年科技工作者協(xié)會 張喜安

為了論述方便，我們首先引述康托集合論的兩個集合間一一對應(yīng)的定義如下：

定義 如果存在函數(shù)y=f(x)為集合A →B 的雙射函數(shù)，那么集合A 和B 為一一對應(yīng)的關(guān)系。

前面已經(jīng)指出，康托集合論的基本觀點是，一個無窮集合可以和它的一個真子集一一對應(yīng)，部分可以和全體相等，而這正是康托集合論的一個定理，本文稱這個定理為康托集合論的基本定理?，F(xiàn)在，我們把這個定理及其證明引述如下：

康托集合論基本定理 令a，b 為實數(shù)，且a＜b，則[a，b] 的基數(shù)等于[0，1]的基數(shù)，即等于c。

證明：令y=f(x)=a+(b-a)x，顯然，y=f(x)為[0，1]→[a，b]的一個雙射函數(shù)，這就證明了[a，b]的基數(shù)等于[0，1]的基數(shù)，即等于c。

為了使論述簡單明了，我們?nèi)∫环N具體的情況，即令a=0，b=2，于是得到集合[0，2]。根據(jù)康托集合論的基本定理，存在y=2x為[0，1]→[0，2]的雙射函數(shù)，因此，[0，1]和[0，2]為一一對應(yīng)的關(guān)系。請注意，無窮集合[0，1]是[0，2]的真子集，并且[0，1]和[0，2]是兩個實數(shù)點的集合，這些是已知條件。

現(xiàn)在假定[0，1]和[0，2]為一一對應(yīng)的關(guān)系，這時，[0，1]和[0，2]互相對應(yīng)的元素的性質(zhì)就存在相同和不同兩種情況。如果[0，1]和[0，2]互相對應(yīng)的元素的性質(zhì)相同，則根據(jù)集合論的外延公理：如果集合A 的每一個元素都是集合B 的元素，同時集合B 的每一個元素都是集合A 的元素，那么A=B。因此，[0，1]=[0，2]，這顯然和客觀事實矛盾。如果[0，1]和[0，2]互相對應(yīng)的元素的性質(zhì)不同，那么[0，1]不是[0，2]的子集，因此，[0，1]也就不是[0，2]的真子集，這和已知條件矛盾。于是得出結(jié)論，[0，1]和[0，2]不可能是一一對應(yīng)的關(guān)系，而只能是非一一對應(yīng)的關(guān)系。這說明，我們根據(jù)康托集合論的基本定理和它的已知條件就可以得出和康托集合論的基本定理相反的結(jié)果，因此可以說，康托集合論的基本定理是自相矛盾的，康托集合論也就是一個自相矛盾的理論，或者說，柯西是正確的，而康托則是錯誤的。

文章寫到這里，疑問就來了，由于存在函數(shù)y=2x 為[0，1]→[0，2]的雙射函數(shù)，則[0，1]和[0，2]就是一一對應(yīng)的關(guān)系，這又如何解釋？這個問題是一個困難的問題，我們首先給出一個一般的回答，一方面，由于存在函數(shù)y=2x 為[0，1]→[0，2]的雙射函數(shù)，所以[0，1]和[0，2]為一一對應(yīng)的關(guān)系，而另一方面，正是由函數(shù)y=2x 的存在，改變了已知條件。具體地講，在已知的條件中，[0，1]和[0，2]是兩個實數(shù)點的集合，由于函數(shù)y=2x 的存在，使這兩個實數(shù)點的集合變成另外兩個非實數(shù)點的集合，所以才產(chǎn)生了上面的疑問，如果我們考慮到這種情況，上面的證明就是完全正確的。下面我們就來回答為什么由于函數(shù)y=2x 的存在，使兩個實數(shù)點的集合[0，1]和[0，2]變成另外兩個非實數(shù)點的集合。

另外，由于存在函數(shù)y=x 不是[0，1]→[0，2]的雙射函數(shù)，所以在y=x 存在的條件下，[0，1]和[0，2]為非一一對應(yīng)的關(guān)系。但是根據(jù)康托集合論的基本定理，由于存在函數(shù)y=2x 為[0，1]→[0，2]的雙射函數(shù)，所以[0，1]和[0，2]為一一對應(yīng)的關(guān)系。這時我們就要質(zhì)問康托：[0，1]和[0，2]是一一對應(yīng)的關(guān)系，還是非一一對應(yīng)的關(guān)系？由此我們也可以看出，康托的兩個集合間的一一對應(yīng)的定義不能確定兩個實數(shù)點的集合是一一對應(yīng)的關(guān)系還是非一一對應(yīng)的關(guān)系。再有，康托的兩個集合間一一對應(yīng)的定義是一個全稱量詞命題，由于同時存在相反的命題（即在y=x 的條件下，[0，1]和[0，2]為非一一對應(yīng)的關(guān)系），所以康托的兩個集合間一一對應(yīng)的定義這個全稱量詞命題就是一個錯誤的命題。另外，康托集合論的兩個集合間一一對應(yīng)的定義是判別[0，1]和[0，2]是否為一一對應(yīng)的關(guān)系，它不能改變[0，1]和[0，2]的性質(zhì)，前面已經(jīng)指出，恰恰相反，由于函數(shù)y=2x 的存在，使[0，1]和[0，2]從兩個實數(shù)點的集合改變?yōu)閮蓚€非實數(shù)點的集合，因此，康托集合論的兩個集合間一一對應(yīng)的定義就是一個錯誤的定義。由于康托集合論的基本定理是根據(jù)康托集合論的兩個集合間一一對應(yīng)的定義證明的，由于這個定義是錯誤的，所以康托集合論的基本定理的證明就不能成立，所以康托集合論就是一個自相矛盾的錯誤理論。