合论和数学基础中的其他工作，特别是模型论，是不够的。举一个戏剧性的例子：上述超结构的描述并不能独立地在策梅洛集合论中完成！最后一步，构造formula_96成为一个无限并集，需要代换公理；这条公理在1922年被加入策梅洛集合论，成为如今通用的策梅洛-弗兰克尔集合论。所以，尽管一般数学可以在formula_83中"进行，"对formula_83的讨论则不再"一般"，而是转向元数学的领域。但是，若在超级的集合论中，可以发现上述的超结构过程只是超限归纳法的开始。回到formula_69（空集），并用（标准的