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

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

睇埋 編輯