Este
matemático inventó un sistema de signos que permiten enunciar las
proposiciones lógicas y matemáticas, la pasigrafía.
Los
axiomas de Peano, año 1889, enunciaban:
1.
Cero, representado 0, es un entero natural.
2.
A todo x perteneciente a N se le puede asociar un elemento determinado
de N, representado por x' y que se denomina "el siguiente de x";
se establece que 0' = 1.
3.
0 no es el siguiente de ningún x perteneciente a N.
4.
Dos números enteros naturales a y b que tienen el mismo siguiente x', son
iguales.
5.
Sea A un subconjunto de N que contiene 0 y tal que si x pertenece a A
entonces x' pertenece a A a su vez: en este caso A es igual a N. (Axioma
de Recurrencia o de Inducción Completa)
