AXIOMAS DE PEANO
Los Axiomas de Peano o postulados de Peano son un conjunto de axiomas para los números
naturales introducidos por Giuseppe Peano en el siglo XIX. Los axiomas se han utilizado
prácticamente sin cambios para una variedad de investigaciones metamatemáticas, incluyendo
cuestiones acerca de la consistencia y completitud en la Teoría de números. Los axiomas de Peano
no se ocupan del significado de "número natural", sino que lo suponen y pretenden encontrar un
sistema simple de axiomas que caractericen los números naturales y nos permitan deducir a partir
de estos, todas las propiedades de los números naturales, utilizando las reglas de la lógica.
Los cinco axiomas de Peano
El 1 es un número natural.
Si n es un número natural, entonces el sucesor de n también es un número
natural.
El 1 no es el sucesor de ningún número natural.
Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son el
mismo número natural.
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.
Hay un debate sobre si considerar al 0 como número natural o no. Generalmente se
decide en cada caso, dependiendo de si se lo necesita o no. Cuando se resuelve incluir al
0, entonces deben hacerse algunos ajustes menores:
El 0 es un número natural.
Si n es un número natural, entonces el sucesor de n también es un número natural.
El 0 no es el sucesor de ningún número natural.
Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son el mismo
número natural.
Si el 0 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.
Características principales de un sistema numérico posicional
Cada dígito tiene un valor absoluto y un valor relativo según su posición.
El valor de cada posición es una potencia del número que es la base del sistema. Un
número de unidades igual a la base forma una unidad del siguiente orden (a su izquierda).
Y una unidad en una posición es tantas veces más grande como la base que una unidad
a la derecha de ella.
En las unidades, la potencia es cero y de ahí hacia la derecha las potencias son negativas
y hacia la izquierda son positivas, lo cual puede sonar contra-intuitivo. Todo lo anterior se
entenderá mejor al ver esta tabla, correspondiente al sistema numérico decimal:
En 324, el valor absoluto del 3 es 3 y su valor relativo es el 3 multiplicado por el valor de
su posición, que es 100: 300. Cada posición corresponde a un orden, que se repite hacia
la izquierda: unidades, decenas, centenas. Cada tres órdenes corresponden a una clase,
que se repite hacia la izquierda: unidades, millares. Cada dos clases corresponden a un
periodo: periodo de las unidades, periodo de los millones, etc.
Sistemas posicionales que se usan actualmente y donde se usan
