是有限集合。每个自然数都属于formula_70，但“所有”自然数的集合formula_72不属于formula_70（尽管它是formula_70的“子集”）。实际上，"formula_18"上的超结构包含了所有的遗传有限集合。这样，它可以被认为是“有限主义数学的全集”。可以想像一下，假若19世纪的有限主义者利奥波德·克罗内克当时能使用到这个全集的话；他会相信每个自然数都存在，而集合formula_72（一个"完全的无穷大"）则不然。然而，对一般的数学家（它们不是有限主义者）来说，formula_70