省略型定理是构造可数模型的一个重要定理.对于丫上的完全理论T,设=xl xa .. xn为罗中的公式集合，首先给出:若T有一模型省略乏，则T局部省略乏.对可数语言的任一协调理论。

省略型定理(omitting types theorem)构造可数模型的一个重要定理.对于丫上的完全理论T,设=xl xa .. xn 为罗中的公式集合，首先给出:若T有一模型省略乏，则T局部省略乏.对可数语言的任一协调理论，上述命题的逆也成立.下面给出模型论中的重要定理.省略型定理:设T是可数语言丫中的协调理论，=(x‑xZ,...,x‑)为牙中的公式集合，如果T局部省略乏，则T有一可数模型省略二

还有广义省略型定理:设T是可数语言丫中的协调理论，r(二，，xz，一二n)是丫上的公式集合＜r=1, , 3, ....如果T局部省略每一乏r，则T有一可数模型矛了省略每一二.