等。这样，尽管主要关心的是"formula_18"，仍然需要一个比"formula_18"大很多的全集。顺着上面的思路，可能需要"formula_18"上的超结构。这可以通过结构递归来定义，如下：注意到，无论初始集合"formula_18"如何，空集总是属于formula_37。重定义空集为冯·诺伊曼序数formula_54。则formula_55，是仅含有空集为元素的集合，属于formula_40；定义为冯·诺伊曼序数formula_57。类似的，formula_58属于formula_59，则f