ゲーデルの不完全性定理、間違ってるじゃん
証明できるなら真だろ