すうがくてききのうほう【数学的帰納法】 自然数nに関する命題において，（1）この命題がn＝1 のとき成立し，（2）n＝kのとき成立すると仮定すればn＝k＋1 のときにも成立する，という二つの事柄を証明できるとき，この命題はすべての自然数nについて成立する，と結論する証明法。