罗素悖论
1903年罗素发现的集合论悖论
条目
历史版本
罗素悖论是由罗素发现的一个集合论悖论，[1]其基本思想是：对于任意一个集合A，A要么是自身的元素，[2]即A∈A；A要么不是自身的元素，即A∉A。根据康托尔集合论的概括原则，可将所有不是自身元素的集合构成一个集合S1，即S1={x:x∉x}。[3]
主要内容
20世纪之初，数学界甚至整个科学界笼罩在一片喜悦祥和的气氛之中，科学家们普遍认为，数学的系统性和严密性已经达到，科学大厦已经基本建成。例如，德国物理学家基尔霍夫(G．R．Kirchhoff)就曾经说过：“物理学将无所作为了，至多也只能在已知规律的公式的小数点后面加上几个数字罢了。”英国物理学家开尔文(L．Kelvin)在1900年回顾物理学的发展时也说：“在已经基本建成的科学大厦中，后辈物理学家只能做一些零碎的修补工作了。”法国大数学家彭迦莱(Poincar6)在1900年的国际数学家大会上也公开宣称，数学的严格性，现在看来可以说是实现了。然而好景不长，时隔不到两年，科学界就发生了一件大事，这件大事就是罗素(Russell)悖论的发现。
所谓罗素悖论指的是由罗素发现的一个集合论悖论。设集合S是由一切不属于自身的集合所组成，即“S={x|x ∉ S}”。那么问题是：S包含于S是否成立？首先，若S包含于S，则不符合x∉S，则S不包含于S；其次，若S不包含于S，则符合x∉S，S包含于S。