有些集合本身是自己的子集,有些則不是;那麼,那些由不是自己子集的集合構成的集合,是不是自己的子集?

數學,集合


這是次數學危機,它的本質是如下公理太強導致不自洽(不自我合諧,即從這個公理出發,可推出一個命題既真又假)


萬能分類公理:對於任意的性質P,存在一個集合,它由所有滿足性質P的元素組成。

為了解決這個問題,人們重新尋找了一套集合論公理。

當然,引入正則公理也是可以的。

這些公理保證了題主所說的"集合"無法通過集合論的公理被構造出來。也就是說,題主所說的不是一個集合。也就無法用集合論的語言討論它。


樸素集合論下此矛盾是顯然的。
為避免此矛盾,加入正則公理,比如ZF下,有以下方案:

有些集合本身是自己的子集,有些則不是

不,根據正則公理,沒有任何集合是自己的子集。

不是自己子集的集合構成的集合,是不是自己的子集

由上,因為沒有任何集合是自己的子集,所以「不是自己子集的集合」實際上就是所有的集合;
「所有集合構成的東西」不是集合(反證法:因為若它是集合,則它為自己的子集,所以它不是集合);
一個「不是集合的東西」,談不上「是不是自己的子集」。


推薦閱讀:

類似於費馬的猜想的猜想?
概率論圓形蛋糕問題?
為什麼將x2+y2=1中x和y的指數換成大偶數,其圖像會接近一個正方形?
有哪些讓人眼前一亮的函數?
為什麼定積分可以求面積?

TAG:高等數學 | 數學難題 | 大學數學 |