Apa bedanya induksi matematis kuat dengan induksi matematis?

Perbedaannya ada setelah langkah awal (pembuktian pernyataan benar untuk n0)

Hipotesis induksi untuk induksi biasa hanya mengasumsikan kebenaran pernyataan untuk k, k∈ℕ, untuk membuktikan kebenaran pernyataan di k+1.

Sedangkan untuk induksi kuat, hipotesis induksinya mengasumsikan kebenaran pernyataan untuk setiap j, j∈ℕ, n0≤j≤k, k∈ℕ untuk membuktikan kebenaran pernyataan di k+1.

Induksi kuat dipakai apabila hipotesis dalam induksi biasa tidak cukup untuk membuktikan kebenaran di k+1, misalnya dalam pembuktian Teorema Fundamental Aritmetika.