集作为基础情况）的有限集合。非形式的说，继承有限集合是其成员也是有限集合，成员的成员也是有限集合以此类推，的有限集合。它们可以通过如下规则构造：所有继承有限集合的集合被指示为formula_3。如果我们指示formula_4为formula_5的幂集，则 formula_3还可以构造如下：首先把空集写为formula_7，接着formula_8, formula_9, formula_10, formula_11接着继承有限集合是冯·诺伊曼全集的子类。它是把集合论公理中的无穷公理替代为它的否定公