陈述.在 Zermelo-Fraenkel 公理的形式语言中，这个公理读作：或用非形式化的语言陈述：存在一个集合formula_2，使得空集在formula_2中，并且只要formula_4是formula_2的成员，则formula_4与它的单元素集合formula_7此两者的并集也是formula_2的成员。这种集合有时也叫做归纳集合。归纳集合是带有如下性质的集合formula_9：对于所有formula_10，formula_4的后继formula_12也是formula_9的一个元素。Se