数学的帰納法を用いている最初の数学的証明は、西暦1000年頃のアル＝カラジの著作に現れ、二項定理、パスカルの三角形、積分立方数合計の証明に使われた。
在Al-Karaji在公元1000年左右写成的一本书中，出现了一份很接近归纳法的数学证明，被用来证明二项式定理、帕斯卡三角形和立体积分求合的命题。