A partir de dicha teoría puede usarse el teorema de compacidad de la lógica de primer orden para obtener un modelo con las propiedades deseadas.