模型完全性

模型论中的概念。设T是语言L中的理论。如果T的每一模型的每一子模型当它满足T时必是的初等子模型，则称T为模型完全的理论。或者说：对T的任何模型、，如果，则，那么就称T为模型完全的理论。