コンピュータサイエンス

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