Gödel's incompleteness theorem
A technical term in mathematical logic. Refers specifically to Kurt Gödel's theorems about the inherent limitations of formal systems.
The incompleteness theorem is a very important result in the foundations of mathematics.
ゲーデルの不完全性定理についての講義を受けた。
I attended a lecture on Gödel's incompleteness theorem.