設 
是非負整數 
的子集，具有以下屬性：(1) 整數 0 在 
中，且 (2) 任何時候當 
在 
中時，可以證明 
也 在 
中。在這些條件下，
。
弱歸納原理
另請參閱
歸納法, 強歸納原理, 超限歸納法, Z-*使用 探索
參考文獻
Séroul, R. "歸納推理。" 數學家程式設計。 第2.14節。柏林：Springer-Verlag, pp. 22-25, 2000。在 中引用
弱歸納原理請引用為
Weisstein, Eric W. "弱歸納原理。" 來自 Web 資源。 https://mathworld.tw/PrincipleofWeakInduction.html