数学的帰納法
mathematical induction
自然数に関する命題$ P(n) が全ての自然数$ n で成り立つことを示す
$ P(1) が成り立つことを示す
任意の自然数$ k に対して$ P(k) \implies P(k+1) が成り立つことを示す
$ P(k) の成立を仮定して、$ P(k+1) との関係が成り立つことを示す
ペアノの公理