最后一步，构造formula_96成为一个无限并集，需要代换公理；这条公理在1922年被加入策梅洛集合论，成为如今通用的策梅洛-弗兰克尔集合论。所以，尽管一般数学可以在formula_83中"进行，"对formula_83的讨论则不再"一般"，而是转向元数学的领域。但是，若在超级的集合论中，可以发现上述的超结构过程只是超限归纳法的开始。回到formula_69（空集），并用（标准的）符号formula_100表示formula_101。则有formula_102，formula_103，等等，和前面一样