化集合论必须包括无穷公理。自然数的集合可以被定义为包含 0 并闭合在 σ 下的所有集合的交集。在朴素集合论、类型论和根源于类型论的集合论如新基础集合论和相关系统中，这个定义是可行的。但是它在公理化集合论 ZFC 和相关系统中不可行，因为在这种系统中在等势下的等价类作为集合而言太大了。这是由于罗素悖论的原因，在 ZFC 中没有全集 "V"。Hatcher（1982）从一些基础系统，包括 ZFC 和范畴论推导出了皮亚诺公理。他也从弗雷格的 "Grundgesetze" 系统出发，使用现代符号和自然演绎谨