>>706
数学的帰納法は使ってよい
というか、使わないと証明できないことが知られている

ロビンソン算術
https://ja.wikipedia.org/wiki/%E3%83%AD%E3%83%93%E3%83%B3%E3%82%BD%E3%83%B3%E7%AE%97%E8%A1%93

某国の文科省の役人がいいそうな屁理屈

「我が国の小学校の算数では足し算・掛け算の定義はするが、数学的帰納法は教えていない
　したがって、乗法の交換法則は証明できず、その成立を認めない」

某国の数学者

「その理屈でいうと、分配法則も認めないことになるが
　筆算は分配法則が成り立つことを前提してる
　我が国の小学校の算数では、筆算を教えないということか？」

役人

「・・・」