>>8
ゲーデルの不完全性定理は、
無矛盾な体系は、自身が無矛盾であることを証明出来ない
ということと、
肯定も否定も証明出来ない命題が存在する
ということを主張する。
もしある未解決問題が肯定も否定も証明出来ないモノだったら、この未解決問題は永久に解決出来ないことになる。