強い帰納法つよいきのうほう

ステップ 2 で 「$n=1$ から $n=k$ まで すべて 成なり立たつ」 と 仮定かてい する 帰納きのう法ほう。 累積るいせき帰納きのう法ほうともいう。