数学的帰納法

https://www.nli-research.co.jp/report/detail/id=68448?site=nli

ある命題Ｘについて
(1) n＝1のときに、Xが成り立つ。
(2) n＝kのときにXが成り立つとすると、n＝k+1のときもＸは成り立つ。
ことを証明することにより、
(3) (1)と(2)から、全ての自然数について、Xが成り立つ。
ことが示されることになる。