Axiomas de la Aritmética por Giuseppe Peano

Giuseppe Peano
Nacimiento: 27 de agosto de 1858, Cuneo, Italia
Fallecimiento: 20 de abril de 1932, Turín, Italia
Obra y fecha de publicación de los axiomas: Arithmetices principia, nova methodo exposita, 1889

Axioma 1º: Cero (0) es un número natural.

Axioma 2º: Todo número natural “n” tiene un sucesor (n+1), que es también un número natural.

Axioma 3º: Ningún número natural tiene el cero (0) como su sucesor.

Axioma 4º: Números naturales distintos tienen distintos sucesores.

Axioma 5º: Si una propiedad P, P es válida para (0), y si P es valida para un número natural n y para su sucesor, entonces P es válida para todos los números naturales.

Inclusión de un nuevo axioma en la Aritmética siglo XXI por Argemiro Martínez

Argemiro Martínez Sotomayor
Nacimiento: 14 de mayo de 1949, Colombia
Pregrado: Ingeniero Industrial, Universidad Tecnológica de Bolívar
Postgrado: Especialista en Pedagogía y Docencia Universitaria, Universidad de San Buenaventura
Obra y fecha de publicación del axioma: Matemática aplicada a la computación, robótica e inteligencia artificial, 2020

Axioma 6º: El sucesor del último dígito de cualquier sistema numérico es la base de dicho sistema, que se escribe uno cero (10) y es ésta, la que da origen a la homonimia de las unidades de orden entre los innumerables sistemas numéricos.