数学归纳法的原理,通常被规定作为自然数公理(参见皮亚诺公理).但是在另一些公理的基础上,它可以用一些逻辑方法证明.数学归