数学的帰納法 - Wikipedia数学的帰納法（すうがくてききのうほう、英: mathematical induction）は、数学における証明の手法の一つである。 例えば自然数に関する命題 P(n) が全ての自然数 n に対して成り立つことを証明するために、次のような手続きを行う[注 1]。 P(1) が成り立つことを示す。 任意の自然数 k に対して、「P(k) ⇒ P(k + 1)」が成り立つことを示す。 1と2の議論から任意の自然数 n について P(n) が成り立つことを結論づける。 概要[編集] 自然数に関するペアノの公理の中に、ほぼ等価なものが含まれている。 なお、数学的「帰納」法という名前がつけられているが、数学的帰納法を用いた証明は帰納ではなく、純粋に自然数の構造に依存した演繹論理の一種である。2 により次々と命題の正しさが"伝播"されていき、任意の自然数に対して命題が証明されていく様子が帰納のように見え
