a_40；定义为冯·诺伊曼序数formula_57。类似的，formula_58属于formula_59，则formula_55和formula_58的并集formula_62也属于该集合；定义为冯·诺伊曼序数formula_63。重复这个过程，所有的自然数都通过其冯·诺伊曼序数在超结构中表现出来。然后，若formula_64和formula_65属于这个超结构，则formula_66（这个集合表示了有序对formula_67）也属于它。从而，这个超结构将包含各种所想要的笛卡尔积。而且，这个超结构也包含各种