短語(yǔ)詞組短語(yǔ)myhill completeness theorem 曼希爾完備性定理G ?del completeness theorem 完全性定理Godel completeness theorem 翻譯;哥德?tīng)柾耆远ɡ?/li>generalized completeness theorem 廣義完全性定理 返回 completeness theorem