Finalmente, la metavariable formula_2 representa una fórmula cualquiera de la aritmética, y formula_3 representa una fórmula cualquiera que tenga a "x" como variable libre.