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