Induksi matematika

S(a), S(a + 1), ..., dan S(b) semuanya bernilai benar. (langkah dasar)
Untuk sebarang bilangan bulat k ≥ b, jika S(i) benar untuk semua bilangan bulat i mulai a sampai k, maka S(k + 1) benar. (langkah induksi)