Postulados de Peano Enviado por jmd el 28 de Febrero de 2009 - 23:22.

N 1. El 1 es nmero natural. N 2. El siguiente de un nmero natural es tambin un nmero natural. N 3. Si los siguientes de dos nmeros naturales son iguales, entonces los nmeros son iguales. N 4. No existe un nmero natural cuyo siguiente sea 1. N 5. Si S es un conjunto de nmeros naturales tal que 1 es de S y siempre que un nmero natural es de S tambin su siguiente est en S, entonces S es el conjunto de nmeros naturales.

Los postulados de Peano definen los nmeros naturales de manera recursiva y econmica. E incluso se puede decir que los construyen. Notemos que los postulados usan tres preconceptos: nmero natural (el cual queda definido por los axiomas), primer nmero natural (implcito en N 1y N 4), y la funcin "siguiente" o consecutivo (n-->n+1).