不ふ完かん全ぜん性せい定てい理り

noun

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.