Los axiomas de orden

Los axiomas de orden establecen una relación de "cantidad" (véase construcción de los naturales). Esta relación es del tipo mayor o igual. En realidad, cuando se construyen los naturales, se dice que un número es menor que otro si está contenido en éste, es decir, si su cardinalidad es menor o igual que otra.

Para establecer una relación de orden, es necesario introducir el símbolo < que nos dirá si un número es mayor o menor que otro. Para la igualdad se usa el símbolo = que ya conocemos.