基金会的公理确定, 每一套都可以从底部到一个命令的继承步骤, 以zermelo和fraenkel的原则, 以如果 一 套 属于 另 一 个, 然后 第一 个 必须 来 第 二 个 在 继承 中, 因此排除了属于自己的一组的可能性. 为了证明将这种新公理添加到其他人并不产生矛盾, 冯·诺伊曼介绍了一种示范方法, 称为内模的方法, 后来成为了集合理论的一个基本工具.
在设定理论中, 什么排除了一套属于自己的东西?
如果 一 套 属于 另 一 个, 然后 第一 个 必须 来 第 二 个 在 继承 中