Gödel's incompleteness theorems
ゲーデルの不完全性定理は、ゲーデルが1931年の論文で証明した次の内容である。