ふかんぜんせいていり【不完全性定理】 自然数論を含む形式的体系が無矛盾であれば，その体系内では真とも偽とも証明できない命題が存在するという定理。ゲーデルが証明。