罗素悖论
由罗素发现的一个集合论悖论
基本思想是：对于任意一个集合A
⑴ A要么是自身的元素，即A∈A
⑵ A要么不是自身的元素，即A∉A
根据康托尔集合论的概括原则，可将所有不是自身元素的集合构成一个集合S1，即S1={x:x∉x}