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