ゲーデルの不完全性定理
嘘つきのパラドックス

は、自分で証明しようとするから出来ないのであり、
他人が証明すれば問題解決なのでは?