Axiomas de orden " x, y, z Exclusin del converso Propiedad de transitividad de la ordenacin Conservacin del orden en la suma Conservacin del

el orden en el producto Variacin del orden en el producto Axiomas de igualdad Axioma de reflexin: a = a. Axioma de simetra: si a = b, entonces b = a. Axioma de transitividad: si a = b y b = c, entonces a = c. Axioma de sustitucin: si a = b, entonces a se puede sustituir por b en cualquier enunciado matemtica. Los primeros tres axiomas no requieren una explicacin detallada. El ltimo demostrar ser muy til al resolver ecuaciones como la del ejemplo 1. EJEMPLO 1 Si y = 11 - 2x y x = 3, halle el valor de y. Solucin Si se sabe que y = 11 - 2x y que x = 3, se puede sustituir x por 3 para obtener y= 11 - 2(3)= 11 - 6 = 5 Axiomas de la suma " x, y, z Propiedad de cerradura de la suma Propiedad conmutativa de la suma Propiedad asociativa de la suma Propiedad del neutro aditivo Propiedad del inverso aditivo

Si (x y) (x < y) (x > y) Si (x < y) (y < z) (x < z) Si (x < y) (x + z) < (y + z) Si (x < y) (0 < z) (xz < yz) Si (x < y) (z < 0) (xz > yz)

(x + y) x+y=y+x (x + y) + z = x + (y + z) x + 0 = x, 0 Si x + y = 0, y = - x

. Axiomas de la adicin A1.1 Para todo , existe un nico elemento, tambin en , denotado por que llamamos la suma de e . A1.2 para todo . A1.3 para todo . A1.4 Existe un elemento de , denotado por tal que para todo . A1.5 Para cada existe un tal que . 2. Axiomas de la multiplicacin A2.1 Para todo , existe un nico elemento, tambin en , denotado por que llamaremos el producto de e . A2.2 para todo . A2.3 para todo . A2.4 Existe un elemento de , que denotaremos por tal que A2.5 Para cada tal que no sea cero, existe un tal que . 3. Axioma de distribucin Este axioma conecta la suma con la multiplicacin: A3.1 Para todo