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 untuk setiap bilangan bulat \(k\) dengan \(k \geq n_0\text{,}\) \(S(k)\) mengakibatkan \(S(k+1)\) benar, maka \(S(n)\) benar untuk setiap bilangan bulat \(n\) yang lebih besar daripada atau sama dengan \(n_0\text{.}\)