设 
是非负整数 
的子集，具有以下性质：(1) 整数 0 在 
中；(2) 任何时候区间 ![[0,n]](/images/equations/PrincipleofStrongInduction/Inline4.svg)
包含在 
中，可以证明 
也 在 
中。在这些条件下，
。
强归纳法原理
另请参阅
归纳法, 弱归纳法原理, 超限归纳法, Z-*使用 Wolfram|Alpha 探索
参考文献
Séroul, R. "归纳推理。" 数学家编程 第2.14节。柏林：Springer-Verlag，第22-25页，2000年。在 Wolfram|Alpha 中引用
强归纳法原理请引用为
Weisstein, Eric W. “强归纳法原理。” 来自 MathWorld—— Wolfram Web 资源。 https://mathworld.net.cn/PrincipleofStrongInduction.html