Gödel's incompleteness theorem of 1931 was one of the greatest achievements in the history of logic.
1931年に発表されたゲーデルの不完全性定理は論理学の歴史における最大の業績の一つである。