Analysis of information sources in references of the Wikipedia article "수학적 귀납법" in Korean language version.
Al-Karaji also uses a form of mathematical induction in his arguments, although he certainly does not give a rigorous exposition of the principle.