柯林斯词典model theory 1. N the branch of logic that deals with the properties of models; the semantic study of formal systems 模型理論 返回 model theory