Induksi matematik digunakan untuk membuktikan kebenaran suatu pernyataan untuk semua bilangan bulat. Terdiri dari langkah basis dan langkah induksi. Langkah basis membuktikan kebenaran pernyataan untuk kasus dasar. Langkah induksi membuktikan jika pernyataan benar untuk n, maka benar juga untuk n+1.