Sea formula_29 una fórmula de un lenguaje de primer orden que contenga una variable libre formula_30.