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