それだけでは「完全性定理」とは言えない