El teorema es una herramienta central en teoría de modelos, ya que provee un método fundamental para construir modelos.