Qu es Axioma: Los axiomas son verdades incuestionables universalmente vlidas y evidentes, que se utilizan a menudo como principios en la construccin

de una teora o como base para una argumentacin. La palabra axioma deriva del sustantivo griego , que significa "lo que parece justo" o "lo que se considera evidente, sin necesidad de demostracin". El trmino viene del verbo griego (axioein), que significa "valorar", que a su vez procede de (axios): "valioso", "vlido" o "digno". Entre los filsofos griegos antiguos, un axioma era lo que pareca verdadero sin necesidad de prueba alguna. En muchos contextos, axioma es sinnimo de postulado, ley o principio. Un sistema axiomtico es el conjunto de axiomas que definen una determinada teora y que constituyen las verdades ms simples de las cuales se demuestran los nuevos resultados de esa teora. Los sistemas axiomticos tienen un papel importante en las ciencias exactas, sobre todo en Matemticas y en Fsica, y los resultados demostrados en mltiples teoras de estas ciencias generalmente se llaman teoremas o leyes. Entre las diversas axiomticas de la Matemtica y de la Fsica ganaron notoriedad los principios de Euclides en Geometra clsica, los axiomas de Peano en Aritmtica, las leyes de Newton en Mecnica clsica y los postulados de Einstein en la Teora de la relatividad. Existen sistemas axiomticos en muchas otras ciencias. Por ejemplo, en Teora de la comunicacin, Paul Watzlawick y sus colegas presentaron los axiomas de la comunicacin, que definen los efectos conductuales de la comunicacin humana. Ejemplos de Axiomas Un axioma es sencillamente un enunciado considerado como proposicin verdadera sin necesidad de demostracin. Segn Euclides un Axioma es una proposicin tan clara y evidente que no necesita demostracin: La proposicin dos lneas rectas no pueden encerrar un espacio, o, en otros trminos, dos lneas rectas que se han encontrado una vez no se encuentran ms y continan divergiendo es un ejemplo clsico de axioma, pues es una induccin resultante del testimonio de nuestros sentidos. La lnea recta es la distancia ms corta entre dos puntos Una proposicin no puede ser verdadera y falsa al mismo tiempo (principio de contradiccin)

 Si a cantidades iguales se les aaden cantidades iguales, las sumas resultantes tambin son iguales' El todo es mayor que cualquiera de sus partes. Demostracin 1>0 Se usan los siguientes axiomas de los nmeros reales 10 Si a > b y c < 0, con a, b, c reales. Entonces ac < bc Asumidos ciertos demostracin estos axiomas podemos comenzar nuestra

Supongamos que 1 < 0 como 1 < 0 aplicando el axioma 2 al multiplicar por 1 (que es menor que 0), tenemos que 1 > 0, lo cual es una contradiccin Como nuestra hiptesis era que 1 < 0, y sta es falsa, lo nico que ahora podemos decir es que 0 1. Pero el axioma 1 dice que 1 0 Luego 1 > 0 Existen infinitos puntos, infinitas rectas e infinitos planos. Dos puntos determinan una recta en la cual estn incluidos

Postulados es una proposicin no evidente que se admite sin probar y se utiliza para demostrar muchos teoremas. Teorema es una proposicin no evidente que se demuestra a partir de los axiomas y postulados. Postulado Del mismo modo que existen los conceptos primitivos, hay ciertas propiedades fundamentales de carcter tambin intuitivo y, por tanto, de captacin espontnea. Son los postulados. Postulado es una verdad intuitiva que tiene suficiente evidencia para ser aceptada como tal Un Postulado es una proposicin que se toma como punto de partida para la demostracin de teoremas.

 Todos los ngulos rectos son iguales entre s. Una recta finita puede prolongarse continuamente y hacerse una recta ilimitada o indefinida. Todo objeto es igual a s mismo. La suma de dos nmeros es nica. Teorema Un Teorema es una afirmacin que puede ser demostrada como verdadera dentro de un marco lgico. Es una verdad no evidente, pero demostrable. En un tringulo rectngulo, el cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos. En un tringulo rectngulo, la altura relativa a la hipotenusa es media proporcional entre los 2 segmentos que dividen a sta. Si un nmero termina en cero o en cinco es divisible por cinco. Si un nmero divide a otros varios divide tambin a su suma.

Axiomas de los nmeros reales Para que todos los procedimientos matemticos sean vlidos se debe partir de una base que respalde cada procedimiento, cada paso lgico usado, y debe, en consecuencia, demostrarse cada afirmacin no trivial. Son estas demostraciones los pilares fundamentales de toda rama de las matemticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier afirmacin. Las afirmaciones a las que se hace referencia se llaman axiomas. Sern, por lo tanto, afirmaciones que se acepta como verdaderas debido a su trivialidad, pudiendo en ocasiones ser demostradas cuando no lo son. El otro tipo de afirmaciones a las que se hace referencia diciendo: afirmacin no trivial, son los teoremas, que son ya, afirmaciones no triviales y muchas veces poco intuitivas. Estas afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya demostraos. Una consecuencia inmediata de un teorema se llamar corolario. Hay tres tipos de axiomas: Los axiomas algebraicos Los axiomas de orden Los axiomas topolgicos El primero, trata de las propiedades de suma, resta, multiplicacin y divisin; el segundo establece un orden para los elementos de cada conjunto dado; el tercero trata sobre la nocin de continuidad. Existe un conjunto que tiene estas propiedades: nace entonces el primer axiona