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