不完全性定理

ゲーデルの不完全性定理：「絶対に証明できない真理」の数学的証明