>>24
不完全性定理が出るまでは
命題はきっと真か偽か証明できると信じられてたから
カントーンも精神を病み死ぬまで証明しようとあがいていたのだから
証明てきないことの証明が不完全性定理とは関係ないとは言っても
原理的に証明できないかもと思うことができていたかもよ