ゲーデル

ゲーデル不完全性定理

1931年、オーストリアの論理学者クルト・ゲーデルが証明した、自然数論を含む十分に強力な無矛盾な公理系には、真でありながら証明も反証もできない命題が必ず存在するという定理。ヒルベルトの形式主義プログラムを決定的に破綻させ、数学の限界と計算可能性の概念に深い示唆を与えた。