罗素悖论

设集合S是由一切不属于自身的集合所组成，即“S={x|x ∉ S}”。那么问题是：S包含于S是否成立？首先，若S包含于S，则不符合x∉S，则S不包含于S；其次，若S不包含于S，则符合x∉S，S包含于S