王海東

【摘要】所謂康托爾集合論，就是與對角線證明和連續(xù)統(tǒng)假設有關的集合論.對角線證明即康托爾根據(jù)對角線關系給出的、以實數(shù)集合不是一個可數(shù)集合為結(jié)論的證明.連續(xù)統(tǒng)假設即康托爾根據(jù)對角線證明給出的、以實數(shù)集合是第一個不可數(shù)集合為斷言的假設.本文認為，康托爾集合論存在著兩個理論錯誤，這兩個理論錯誤就是：對角線證明是一個不能成立的錯誤證明，連續(xù)統(tǒng)假設是一個不能成立的錯誤假設.從這兩個理論錯誤來看，康托爾集合論是一種錯誤的集合論.

【關鍵詞】康托爾集合論;對角線證明;連續(xù)統(tǒng)假設

所謂康托爾集合論，就是與對角線證明和連續(xù)統(tǒng)假設有關的集合論.對角線證明即康托爾根據(jù)對角線關系給出的、以實數(shù)集合不是一個可數(shù)集合為結(jié)論的證明.連續(xù)統(tǒng)假設即康托爾根據(jù)對角線證明給出的、以實數(shù)集合是第一個不可數(shù)集合為斷言的假設.由于對角線證明是連續(xù)統(tǒng)假設的理論依據(jù)，所以連續(xù)統(tǒng)假設能否成立取決于對角線證明能否成立.

令A代表位于0與1之間并以絕對值從小到大為序的所有實數(shù)，a代表位于小數(shù)點后面并以所在位置從左到右為序的所有自然數(shù)，A′代表利用所有自然數(shù)的對角線關系構(gòu)造的某個實數(shù)，1，2，3，…，n代表由大于0的自然數(shù)構(gòu)成的所有序數(shù)，對角線證明的表述方法為：

綜上所述，康托爾集合論存在著兩個理論錯誤.這兩個理論錯誤就是：對角線證明是一個不能成立的錯誤證明，連續(xù)統(tǒng)假設是一個不能成立的錯誤假設.從這兩個理論錯誤來看，康托爾集合論是一種錯誤的集合論.

【參考文獻】

[1]王元.數(shù)學大辭典[M].北京：科學出版社，2017.

[2]馮琦.集合論導引[M].北京：科學出版社，2019.

[3]石純一.數(shù)理邏輯與集合論[M].北京：清華大學出版社，2000.

[4]汪芳庭.數(shù)理邏輯[M].合肥：中國科技大學出版社，2010.