Misalkan \(S(n)\) merupakan suatu pernyataan tentang bilangan bulat untuk \(n \in {\mathbb N}\text{,}\) dan misalkan \(S(n_0)\) benar untuk suatu bilangan bulat \(n_0\text{.}\) Jika \(S(n_0), S(n_0 + 1), \ldots, S(k)\) mengakibatkan \(S(k + 1)\) benar untuk \(k \geq n_0\text{,}\) maka pernyataan \(S(n)\) benar untuk setiap bilangan bulat \(n \geq n_0\text{.}\)