真だとも偽だともどちらだとも「証明できない」命題が存在する、というのが不完全性定理だね