是公理.
对于一般的数学归纳法,可以纳入皮亚诺（Peano）自然数公理体系
对于扩展的超限归纳法,要建立在集合论的公理体系上,即由选择公理保证归纳法的正确性
回答补充：
简洁地说就是：
“数学归纳法是正确的”和皮亚诺公理是一个等价的表述.所以我们可以说皮亚诺公理就是数学归纳法.
“超限归纳法是正确的”和选择公理是一个等价的表述.所以我们可以说集合选择公理就是超限归纳法
是公理.
对于一般的数学归纳法,可以纳入皮亚诺（Peano）自然数公理体系
对于扩展的超限归纳法,要建立在集合论的公理体系上,即由选择公理保证归纳法的正确性
回答补充：
简洁地说就是：
“数学归纳法是正确的”和皮亚诺公理是一个等价的表述.所以我们可以说皮亚诺公理就是数学归纳法.
“超限归纳法是正确的”和选择公理是一个等价的表述.所以我们可以说集合选择公理就是超限归纳法