在数学中，继承有限集合被递归的定义为只包含继承有限集合（空集作为基础情况）的有限集合。非形式的说，继承有限集合是其成员也是有限集合，成员的成员也是有限集合以此类推，的有限集合。它们可以通过如下规则构造：所有继承有限集合的集合被指示为formula_3。如果我们指示formula_4为formula_5的幂集，则 formula_3还可以构造如下：首先把空集写为formula_7，接着formula_8, formula_9, formula_10, formula_11接着继承有限集合是冯·诺伊