ormula_5的幂集，则 formula_3还可以构造如下：首先把空集写为formula_7，接着formula_8, formula_9, formula_10, formula_11接着继承有限集合是冯·诺伊曼全集的子类。它是把集合论公理中的无穷公理替代为它的否定公理得到公理体系的模型，因此证明了无穷公理不是其他集合论公理的推论。注意有可数多个继承有限集合，因为formula_13对于任何有限的formula_14都是有限的（它的基数是formula_15，参见 tetration），而可数多