Misalkan \(S = \{ n \in {\mathbb N} : n \geq 1 \}\text{.}\) Maka \(1 \in S\text{.}\) Andaikan \(n \in S\text{.}\) Karena \(0 \lt 1\text{,}\) harus berlaku \(n = n + 0 \lt n + 1\text{.}\) Oleh karena itu, \(1 \leq n \lt n + 1\text{.}\) Akibatnya, jika \(n \in S\text{,}\) maka \(n + 1\) juga harus berada dalam \(S\text{,}\) dan berdasarkan Prinsip Induksi Matematis kita memperoleh \(S = \mathbb N\text{.}\)