归纳公理是由皮亚诺提出的关于正整数的五条公理中的第五公理:
设S是正整数集的一个子集,且
(1)1属于S
(2)如果n属于S,那么n+1也属于S
那么,S就是正整数集。
作为归纳公理的直接推论,数学归纳法的应用十分广泛。