Dado cualquier subconjunto finito del anterior formula_19 es satisfactible sin más que asignar a la variable "x" un valor "b" suficientemente alto dentro de formula_2 (el modelo estándar) dada la finitud del subconjunto siempre es posible satisfacer esta condición: