Los axiomas del 1 al 15 corresponden a la estructura más general de cuerpo ordenado.