Gdel's incomplteness thorem n. 【数学・論理】 ゲーデルの不完全性定理《自然数論を含み, 無矛盾ないかなる形式科学の公理体系も, その領域内で真とみなされる式すべての完全な演繹, すなわち完全性を満たしえないという定理; incompleteness theorem ともいう》.