Postulados de Peano
P1. 0 es un número.
P2. El sucesor de cualquier número es un número.
P3. Dos números no tienen nunca el mismo sucesor.
P4. 0 no es sucesor de ningún número.
P5. Si P es una propiedad tal que: a) 0 tiene la propiedad P, y b) siempre que un número n tiene la propiedad P, entonces el sucesor de n tiene también la propiedad P, entonces todo número tiene la propiedad P.
El último postulado contiene el principio de inducción matemática, e ilustra de una manera muy obvia el establecimiento de una «verdad» matemática por estipulación. La construcción de la aritmética elemental sobre esa base empieza con la definición de los distintos números naturales. 1 se define como el sucesor de 0, o brevemente, como 0; 2 como 1; 3 como 2, y así sucesivamente. En virtud de P2 el proceso puede continuarse indefinidamente; en virtud de P3 (en combinación con P5) el proceso no reconduce nunca a uno de los números ya definidos antes: en virtud de P4, el proceso no reconduce nunca tampoco a 0.
| C.G. Hempel y otros, Matemática, verdad, realidad, Grijalbo, Barcelona 1969, p. 17-18. |