>>165
> 一旦証明した定理を公理として使ってよければ証明は短縮できる。

何が言いたいのかわからん。短縮したらどうだっての?

ハノイについては帰納法のパワーが直接問題を解いているのであって、
今の問題とは全然関係ない。帰納法自体を理解できてない発言としか思えない。