El teorema establece una conexión entre la cardinalidad del lenguaje y la cardinalidad de sus modelos, e impone serias restricciones sobre la representación de estructuras infinitas.