Mias U2 A1 Rogm
Mias U2 A1 Rogm
Mias U2 A1 Rogm
Licenciatura en Matemáticas.
1.- Qué es el Método Axiomático?
El método axiomático es una manera de hacer hipótesis donde se formulan enunciados llamados axiomas que están
conectados entre si por medio de relaciones lógicas. A este proceso también se le conoce como axiomatización.
En matemáticas, para demostrar un teorema, normalmente, nos basamos en otras propiedades o teoremas ya
demostrados anteriormente, y esto plantea la necesidad de señalar cuáles son esas primeras proposiciones o axiomas a
partir de los cuales desarrollamos toda la teoría.
La primera presentación de una teoría axiomática fue debida a Euclides en su obra de los Elementos (300 a.C.). Euclides
desarrolló toda la geometría a partir de nueve axiomas generales para toda ciencia y cinco postulados o axiomas
específicos para la geometría.
Un axioma es uno de los principios que se aceptan sin demostración al desarrollar una teoría, por lo que los axiomas
caracterizan y definen, de alguna forma, la estructura de la teoría. Así, hablamos de los axiomas de grupo, los axiomas
de anillo, los axiomas de la geometría proyectiva, de la geometría afín o de la geometría euclídea, etc.
En el siglo XIX, el descubrimiento de las llamadas geometrías no euclídeas, que partían de los cuatro primeros
postulados propuestos por Euclides y de la negación del quinto, supuso un gran desarrollo del método axiomático como
consecuencia del deseo de hacer explícitos y claramente expresados los puntos de partida de las distintas teorías
matemáticas, destacando sus rasgos formales en detrimento de demostraciones intuitivas o gráficas. Posteriormente, a
partir de finales del siglo XIX, el método axiomático experimentó un nuevo empuje unido, en general, al desarrollo de la
lógica formal.
1. El 1 es un número natural.
2. Si n es un número natural, entonces el sucesor de n también es un número natural.
3. El 1 no es el sucesor de ningún número natural.
4. Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son el mismo número natural.
5. Si el 1 pertenece a un conjunto, y dado un número natural cualquiera, el sucesor de ese número también
pertenece a ese conjunto, entonces todos los números naturales pertenecen a ese conjunto. Este es el axioma
de inducción, y captura la idea de Inducción matemática.
Las propiedades básicas de la adición son: conmutativa, asociativa, aditiva y distributiva. Para la multiplicación son:
propiedad conmutativa, asociativa, de identidad y distributiva.
Referencias:
Weisstein, Eric W. "Peano's Axioms." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/PeanosAxioms.html