得知formula_16；其次，若formula_16，根据定义，formula_7是由所有满足性质formula_1的类组成，也就是说，formula_7具有性质formula_5，所以formula_9。罗素悖论还有一些更为通俗的描述，如理发师悖论、书目悖论。但理发师悖论被一些人认为只是罗素悖论的一种描述方式，仅以理发师悖论并无法完全叙述罗素悖论。罗素悖论在类的理论中通过内涵公理而得到解决。
理发师悖论和罗素悖论等价.理发师悖论和罗素悖论是等价的：因为，如果把每