何でも証明できるって思ってるところが頭固いな
完全性定理は哲学も絡んでくるから数学的とはいえない