Axiomas de orden

1)

 (inverso aditivo)

  (asociativa)

2)

Los axiomas de orden establecen una relación de "cantidad". 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.Se dirá que o sólo si x es menor que Y . O dicho de otra forma, si y es mayor que x .

Se dan a continuación los Axiomas de Orden

Axioma

si y
si y

MAS INFORMACION...