すうがくてき‐きのうほう【数学的帰納法】_{‥ナフハフ} 〔数〕ある自然数ｎに関する命題が、⑴n＝1について成立し、⑵任意の自然数ｋについて、その命題が成立すると仮定すれば、k＋1についても成立すること、以上二つが証明されるならば、その命題はどんな自然数についても成立するという原理を用いた証明法。 ⇒すう‐がく【数学】