罗素悖论

把所有集合分为2类，第一类中的集合以其自身为元素，第二类中的集合不以自身为其元素，假设令第一类集合所组成的集合为P，第二类所组成的集合为Q，

则有：P={A∣A∈A} ，Q={A∣A∉A} 。

问题：Q∈P 还是 Q∉P？ 

若Q∈P，则根据第一类集合的定义，必有Q∈Q，而Q中的任何集合都有A∉A的性质，因为Q∈Q，所以Q∉Q，引出矛盾。

若Q∉P，根据第二类集合的定义，A∉A，而P中的任何集合都有A∈A的性质，所以Q∈P，还是矛盾。 

这就是著名的“罗素悖论”（Russell's paradox）。罗素悖论还有一些较为通俗的解释，如理发师悖论等。