完全性定理と名付けてあげよう。