Apa induksi matematis kuat itu?

Induksi Matematis kuat adalah pembuktian matematis untuk suatu pernyataan yang berlaku untuk n0∈ℕ dan bilangan asli setelahnya, dengan membuktikan kebenaran n0 sebagai landasan awalnya, kemudian mengasumsikan kebenaran pernyataan tersebut untuk setiap j∈ℕ yang mungkin, di mana n0≤j≤k, dan k∈ℕ, dan kemudian memanfaatkan asumsi tersebut untuk membuktikan kebenaran pernyataan tersebut untuk bilangan k+1.

(Note: ∈ℕ artinya anggota bilangan asli)