完全性定理より明らかという答えがとっくに出ています