>>435
帰納法が無限まで使えないのはどういう場合か。