元素就不具有该性质）通俗地称为该类的内涵。类的内涵与外延之间存在着直观的“反比关系”：类的内涵越多，其外延越小；内涵越少，其外延越大。对于类的内涵问题，我们通常希望：任给一个性质，满足该性质的所有类可以组成一个类。但这样的企图将导致如下的悖论：罗素悖论设性质P（x）表示“formula_5”，现假设由性质P确定了一个类A----也就是说“formula_6”。那么现在的问题是：formula_7是否成立？首先，若formula_7，则A是A的元素，那么A具有性质P，由性质P知formula_9；其次