Estos resultados son ejemplos de aplicaciones de la teoría de modelos a la teoría axiomática de conjuntos.