クルト・ゲーデル
The solution was found in 1949 by Kurt Gödel.