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