Pero el axioma Ax1 dice que la única posibilidad donde no existe contradicción es que efectivamente formula_31