完全理论（complete theory）是一种模型论理论，指其推论集合是极大协调集的理论。

完全理论(complete theory)一种模型论理论.指其推论集合是极大协调集的理论.对于丫的任意模型au，可由在2l中成立的全体真语句构成一个理论，记为Th<}l)，即Th<`}>={o:}l }。，且。为丫的语句}.则称该理论是一个完全理论.关于理论T的完全性，常用下列两种等价的定义:

1.若o}l},}是T的任意两个模型，则2l=.}.

2.对驴中的任意语句。，或