Está en la página 1de 1

Axioma Una verdad tan evidente que no requiere demostrarse.

Por ejemplo, la suma de dos nmeros reales es otro nmero real es otro nmero real es un axioma

Lema: un lema es una proposicin demostrada, utilizada para establecer un teorema o una premisa que forma parte de un teorema. El trmino proviene del griego , que significa cualquier cosa que es recibida, tal como un regalo, una ddiva o un soborno. Ciertos lemas demostrados son ms famosos que el teorema para el que fueron creados, desempeando a veces la funcin de teorema.
un axioma es una premisa que, por considerarse evidente, se acepta sin demostracin, como punto de partida para demostrar otras frmulas. Tradicionalmente, los axiomas se eligen de entre las consideradas verdades evidentes porque permiten deducir las dems frmulas. Las propiedades, son reglas que se obtienen a partir de los axiomas (verdades lgicas "mnimas" de donde nace toda la matemtica y no se cuestionan) y deben ser demostradas mediante estos. Los axiomas seran: --> de cuerpo (asociatividad, conmutatividad, distributividad, existencia de un neutro (tanto multiplicativo como aditivo), existencia de inverso (tanto multiplicativo como aditivo)) ---> de orden (tricotoma (un nmero puede ser solamente: positivo, negativo 0) y clausura (si dos nmeros son positivos, la suma de estos y la multiplicacin de estos ser positiva) a partir de ellos puedes deducir propiedades como que el neutro aditivo es nico: el 0... que cada nmero posee un nico inverso a excepcin del 0, etc...