模型完全

（数学术语）
模型完全是数学术语。模型完全(model complete)理论的一种模型论性质.当犷的一个理论T适合下列条件时，称为模型完全的:对T的任何模型邻，房，如果'21C，}，则，-l}l } o}.形式理论的完全性和模型完全性是两个不同的概念.不能由一个推出另一个.例如，有首元和末元的稠密线性序理论是完全的，但不是模型完全的.而代数闭域理论是模型完全的，但不是完全理论.
用户数据
参数表
继承树
构成树
关注人数：
0
技点进度：
0/0
题库进度：
0/0
技能进度：
0/
关注级别：