彼 は 帰納法 を 用い て その 問題 を 解決 した 。