lo que es lógicamente equivalente a que existe un conjunto formula_116 tal que