El último axioma es el que distingue formula_61 de otros cuerpos ordenados como formula_65.