內涵公理

内涵公理係集合論裏面嘅一條基本公理，佢嘅意思係，滿足一定性質嘅所有集合可以組成一個類。

最初嘅內涵公理並冇要求元素亦係集合，但係呢種定義會導致羅素悖論，所以後來改咗。

外延公理

集合論

en:Axiom schema of specification