強歸納法原理

設 是非負整數 的子集，具有以下性質：(1) 整數 0 在 中；(2) 任何時候區間 包含在 中，可以證明 也 在 中。在這些條件下，。