ゲーデルかな。


フェルマーの最終定理に、本当に、もっと簡単な証明があったとしたら面白いのにね。