a_7，以此类推。这个定义有预期的效果：我们所定义的 3 实际上是其成员都有三个元素的集合。如果全集 "V" 有有限势 "n"，则 formula_8, formula_9，自然数的序列就此终结。所以如果 Frege-Russell 自然数要满足皮亚诺公理，所用到的公理化集合论必须包括无穷公理。自然数的集合可以被定义为包含 0 并闭合在 σ 下的所有集合的交集。在朴素集合论、类型论和根源于类型论的集合论如新基础集合论和相关系统中，这个定义是可行的。但是它在公理化集合论 ZFC 和相关系统中不可行，因