「数学的帰納法」とは、 全ての自然数に対し命題が成り立つ ことを証明する、有力な方法です。以下のステップで、全ての自然数に対して命題が の場合、が成り立つことを示す。 の場合にが成り立つと仮定し、の場合もが成り立つことを示す。 派生型はいろいろ…