Teorema de Omisión de Tipos

Un teorema que da condiciones bajo las cuales una teoría consistente de primer orden y contable posee un modelo que omite una colección especificada de tipos no principales (no aislados); formulado clásicamente para lenguaje contable y familias contables de tales tipos.