具有下述性质的理论：设T是语言L中的理论，如果对于T的任何模型，都有(即为初等等价的)，则称T为完全理论。设是语言L的模型。令T=｛A｜A为L中语句并且A｝，易见T是完全理论，称为的完全理论，记作：Th()。完全的理论T的任何两个模型都具有相同的一阶性质。
，