数学的帰納法は証明するしないというものではなくて、
「帰納法が成り立つと約束した体系を採用する」という性質のものだ。
帰納法が成り立たないとみなす立場もある。それもひとつの数学。
定理というより公理のようなもの。