罗素悖论

罗素悖论：设性质表示“”，现假设由性质确定了一个类——也就是说“”。那么现在的问题是：是否成立？首先，若，则是的元素，那么具有性质，由性质知；其次，若，也就是说具有性质，而是由所有具有性质的类组成的，所以。

罗素悖论还有一些更为通俗的描述，如理发师悖论、书目悖论。