Jabarkan Induksi dari Matematika Islam abad pertengahan

Penjelasan rinci terawal tentang induksi matematika dapat ditemukan pada bukti Euklides bahwa bilangan prima tidak terhingga (c. 300 SM). Perumusan prinsip induksi yang eksplisit pertama dipaparkan oleh Blaise Pascal dalam Traité du triangle arithmétique (1665).

Di antara rentang waktu tersebut, bukti implisit dengan induksi untuk barisan aritmetika diperkenalkan oleh al-Karaji (c. 1000) dan dikembangkan oleh al-Samaw'al yang memakainya untuk menyelesaikan persoalan khusus teorema binomial dan sifat segitiga Pascal.