（ 3）更强形式的完备性叫做 最小模型完备性 （ least model completeness） ，它是指对每 个语法理论，都有某个“最小”模型，其语义理论等于该语法理论。
基于6个网页-相关网页
least model completeness
最小模型完备性
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动