所有不自己理发的人理发，不给所有自己理发的人理发”，现在的问题是“谁为该理发师理发？”。首先，若理发师给自己理发，那他就是一个“自己理发的人”，依其誓言“他不给自己理发”；其次，若“他不给自己理发”，依其誓言，他就必须“给自己理发”。而书目悖论也是罗素悖论的一种通俗表达形式。
真类与集合.为解决此类悖论，我们把类区分为两种：定义1.2如果存在类B,而类A满足条件“formula_12”，则称类A为一个集合（简称为集），记为formula_13。定义1.2说明，一个集合是