Dado un conjunto formula_1, existe algún buen orden para formula_1.