模型完全

模型完全是数学术语。模型完全(model complete)理论的一种模型论性质.当犷的一个理论T适合下列条件时，称为模型完全的:对T的任何模型邻，房，如果'21C，}，则，-l}l } o}.形式理论的完全性和模型完全性是两个不同的概念.不能由一个推出另一个.例如，有首元和末元的稠密线性序理论是完全的，但不是模型完全的.而代数闭域理论是模型完全的，但不是完全理论.