短語(yǔ)詞組短語(yǔ)myhill completeness theorem 曼希爾完備性定理G ?del completeness theorem 完全性定理Godel completeness theorem 翻譯;哥德爾完全性定理generalized completeness theorem 廣義完全性定理 返回 completeness theorem