すうがく-てき-きのうほう ―キナフハフ [0] 【数学的帰納法】 自然数 に関する命題において，(1)この命題が ＝1 のとき成立し，(2) ＝ のとき成立すると仮定すれば ＝＋1 のときにも成立する，という二つの事柄を証明できるとき，この命題はすべての自然数 について成立する，と結論する証明法。