省略型定理是構造可數模型的一個重要定理.對於丫上的完全理論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有一可數模型矛了省略每一二.
