前世紀に発見された数学の定理の中で、抜群の知名度を誇る、ゲーデルの不完全性定理。この定理のさまざまな関連項目・話題に触れながら、奥深い数理論理の世界を探検してみましょう。