罗素悖论（），也称为理发师悖论，是英国哲学家罗素于1901年提出的悖论，一个关于类的内涵问题。
罗素悖论.我们通常希望：任给一个性质(例如："年满三十岁"就是一个性质)，满足该性质的所有集合总可以组成一个集合。但这样的企图将导致悖论：罗素悖论：设有一性质formula_1，并以一性质函数表示：formula_2，且其中的自变量formula_3有此特性：formula_4，现假设由性质formula_5能够确定一个满足性质formula_1的集合formula_7——也就是