内涵公理

一个类的所有元素所共同具有的、而且是这个类的元素所独有的性质(也就是说不是该类的元素就不具有该性质)通俗地称为该类的内涵。类的内涵与外延之间存在着直观的“反比关系”：“类的内涵越多，其外延越小；内涵越少，其外延越大”。

内涵公理 设P是一个性质，则。

内涵公理的含义是：满足一定性质的所有集合可以组成一个类。

注：最初的内涵公理是这样的：设P是一个性质，则。但这样将导致罗素悖论。

[编辑] 参见

• 公理化数学
• 类的理论
• 罗素公理体系
• 外延公理
• 分类公理

“内涵公理”是一个關於數學、还没写完的小作品，希望您能继续编辑或者是修订这个条目。