设 
是非负整数 
的子集，具有以下属性：(1) 整数 0 在 
中，且 (2) 任何时候当 
在 
中时，可以证明 
也 在 
中。在这些条件下，
。
弱归纳原理
另请参阅
归纳法, 强归纳原理, 超限归纳法, Z-*使用 探索
参考文献
Séroul, R. "归纳推理。" 数学家编程。 第2.14节。柏林：Springer-Verlag, pp. 22-25, 2000。在 中引用
弱归纳原理请引用为
Weisstein, Eric W. "弱归纳原理。" 来自 Web 资源。 https://mathworld.net.cn/PrincipleofWeakInduction.html