罗素构造了一个集合S：S由一切不是自身元素的集合所组成。然后罗素问：S是否属于S呢？根据排中律，一个元素或者属于某个集合，或者不属于某个集合。因此，对于一个给定的集合，问是否属于它自己是有意义的。但对这个看似合理的问题的回答却会陷入两难境地。如果S属于S，根据S的定义，S就不属于S；反之，如果S不属于S，同样根据定义，S就属于S。无论如何都是矛盾的。集合论的一个著名悖论用故事通俗地表述出来是



理发师悖论（罗素悖论）：某村只有一人理发，且该村的人都需要理发，理发师规定，给且只给村中不自己理发的人理发。试问：理发师给不给自己理发？

如果理发师给自己理发，则违背了自己的约定；如果理发师不给自己理发，那么按照他的规定，又应该给自己理发。由此可见，不管做怎样的推论，理发师所说的话总是自相矛盾的。这样，理发师陷入了两难的境地。

与此类似的是下边两个悖论

1． 芝诺悖论——阿基里斯与乌龟：公元前5世纪，芝诺用他的无穷、连续以及部分和的知识，引发出以下著名的悖论：他提出让阿基里斯与乌龟之间举行一场赛跑，并让乌龟在阿基里斯前头1000米开始。假定阿基里斯能够跑得比乌龟快10倍。比赛开始，当阿基里斯跑了1000米时，乌龟仍前于他100米；当阿基里斯跑了下一个100米时，乌龟依然前于他10米……所以，阿基里斯永远追不上乌龟。

2． 说谎者悖论：公元前6世纪，古希腊克里特岛的哲学家伊壁门尼德斯有如此断言：“所有克里特人所说的每一句话都是谎话。”

如果这句话是真的，那么也就是说，克里特人伊壁门尼德斯说了一句真话，但是却与他的真话——所有克里特人所说的每一句话都是谎话——相悖；如果这句话不是真的，也就是说克里特人伊壁门尼德斯说了一句谎话，则真话应是：所有克里特人所说的每一句话都是真话，两者又相悖。 所以怎样也难以自圆其说，这就是著名的说谎者悖论。

罗素悖论最终促成了数理逻辑的发展与一批现代数学的产生，数学由此获得了蓬勃发展，这或许就是数学悖论重要意义之所在吧。