罗素悖论（英语：Russell's paradox），也称为理发师悖论、书目悖论，是英国哲学家罗素于1901年提出的悖论，一个关于类的内涵问题。
我们通常希望：任给一个性质(例如：“年满三十岁”就是一个性质)，满足该性质的所有集合总可以组成一个集合。但这样的企图将导致悖论：
罗素悖论还有一些更为通俗的描述，如理发师悖论、书目悖论。但理发师悖论被一些人认为只是罗素悖论的一种描述方式，仅以理发师悖论并无法完全叙述罗素悖论。
罗素悖论在类的理论中通过内涵公理而得到解决。
因为，如果把每个人对应一个集合，这个集合的元素被定义成这个人刮脸的对象。那么，理发师宣称，他对应的集合里的元素，都是城里不属于自己对应的集合的人，并且城里所有不属于自身对应集合的人都属于理发师对应的集合，那么他是否属于他自己对应的集合？这样就由理发师悖论得到罗素悖论。反过来的变换也是成立的[1]。
罗素悖论与书目悖论等价[编辑]
另一种等价的悖论为书目悖论，第一类的书的目录有它自己的条目，经典的例子就是维基百科。第二类的书目录则没有它自己的条目，一般的书目都是如此，问：今有一图书馆员，想将第二类的书名编辑成一册，则将所有第二类书籍名称统整的该书该不该拥有自己名称的条目？
因为，如果把每本书对应一个集合，这个集合的元素被定义成这本书分类的方式。那么，该统整书对应的集合里的元素，都是馆内不属于自己对应的集合的书，并且馆内所有不属于自身对应集合的书都属于该统整书对应的集合，那么该书是否属于它自己对应的集合？这样就由书目悖论得到罗素悖论。