Axiomas de Peano

Los axiomas de Peano o postulados de Peano son un
sistema de axiomas aritmticos ideados por el matem-
tico Giuseppe Peano en el siglo XIX, para denir los
nmeros naturales. Estos axiomas se han utilizado prc-
ticamente sin cambios en diversas investigaciones mate-
mticas, incluyendo cuestiones acerca de la consistencia
y completitud de la aritmtica y la teora de nmeros.
Los public en 1889, en un folleto de unas treinta pgi-
nas, intitulado Aritmetices principia, nova methodo expo-
sita, que se traduce por Nuevo mtodo de exposicin de los
principios de la aritmtica. Da una lista de nueve axiomas,
de los cuales cuatro versan con el uso del signo = . Los
dems se conocen como Axiomas de Peano. Los ma-
temticos los consideran como la plataforma preliminar
para forjar los siguientes conjuntos usuales de nmeros.
La idea pivotal de Peano fue la de sucesor. [1]
4. Si hay dos nmeros naturales n y m con el mismo
sucesor, entonces n y m son el mismo nmero natu-
ral.
5. Si el 0 pertenece a un conjunto, y dado un nmero
natural cualquiera, el sucesor de ese nmero tambin
pertenece a ese conjunto, entonces todos los nme-
ros naturales pertenecen a ese conjunto.
1 Presentacin formal
Como se dijo antes existe un debate sobre si incluir al 0
entre los nmeros naturales o no. A continuacin se pre-
sentan los axiomas de Peano de manera formal, contem-
plando ambas posibilidades:

Los cinco axiomas o postulados de Peano son los siguien-

tes: 1.1 Cuando no interviene el cero

1. Existe un nmero natural 1. En otros trminos,1 est Los smbolos

que designan los conceptos primitivos son
en N, el conjunto de los nmeros naturales. N, 1, x .
El smbolo N designa un predicado mondico que se lee
2. Todo nmero natural n tiene un sucesor n* (este ser un nmero natural. El smbolo 1, por su parte, de-
axioma es usado para denir posteriormente la su- signa una constante que pretende representar al nmero
ma). uno. Y el smbolo x', nalmente, designa una funcin so-
bre x que devuelve al sucesor de x. A esta funcin muchas
3. 1 no es el sucesor de algn nmero natural.
veces se la escribe S(x). Finalmente, la metavariable re-
4. Si hay dos nmeros naturales n y m con el mismo presenta una frmula cualquiera de la aritmtica, y (x)
sucesor, entonces n y m son el mismo nmero natu- representa una frmula cualquiera que tenga a x como va-
ral. riable libre.
Los cinco axiomas de Peano son:
5. Si 1 pertenece a un conjunto K de nmeros natura-
les, y dado un elemento cualquiera n, el sucesor n*
tambin pertenece al conjunto K, entonces el con-
A1 : N (1)
junto K debe ser el conjunto de todos los nmeros
naturales. Este ltimo axioma es el principio de A2 : x(N (x) N (x ))
[2]

induccin matemtica.
A3 : x(N (x) 1 = x )
A4 : xy((N (x) N (y) x = y ) x = y)
Hay un debate sobre si considerar al 0 como nmero na-
tural o no. Generalmente se decide en cada caso, depen- Del quinto axioma existen dos variantes. El primero est
diendo de si se necesita o no. Cuando se resuelve incluir formulado en lgica de primer orden, y es en realidad un
al 0, entonces deben hacerse algunos ajustes menores: esquema de axioma. El segundo s es un axioma, pero est
formulado en lgica de segundo orden.
1. El 0 es un nmero natural.
( )
2. Si n es un nmero natural, entonces el sucesor de n A5 : (1) x((x) (x )) x (x)
tambin es un nmero natural. (( )
)
3. El 0 no es el sucesor de algn nmero natural. A5
: (1) x((x) (x )) x (x)

1
2 4 BIBLIOGRAFA

Adems de los cinco axiomas, la aritmtica de Peano re-
curre a dos deniciones (de la suma y de la multiplica-
cin), que a veces se presentan como axiomas. A conti-
nuacin se incluyen todas las variantes:
Deniciones de suma y multiplicacin:
Axiomas de la suma y de la multiplicacin:
cada uno de los axiomas resulta verdadero. Luego, las in-
terpretaciones naturales de los smbolos primitivos son un
modelo de la aritmtica de Peano.
Originalmente, Peano propuso los axiomas para caracte-
rizar a los nmeros naturales, y los smbolos primitivos
se deban interpretar de esta manera natural. Sin embar-
go, los smbolos que designan a los conceptos primitivos
admiten otras interpretaciones, algunas de las cuales se-
rn adems modelos. Por ejemplo, se podra interpretar
al smbolo 0 como el nmero dos, a N como el predicado
ser un nmero par, y a x' como el sucesor del sucesor,
en vez del sucesor inmediato. En tal caso, los axiomas se
tendran que entender as:

1. El dos es un nmero par

1.2 Cuando interviene el cero
2. Si n es un nmero par, entonces el sucesor del suce-
Los smbolos que designan los conceptos primitivos son sor de n tambin es un nmero par
N, 0, x .
3. El dos no es el sucesor del sucesor de ningn nmero
Axiomas: par.
4. Si hay dos nmeros pares n y m con el mismo sucesor
A1 : N (0) de sucesor, entonces n y m son el mismo nmero par.
5. Si el dos pertenece a un conjunto, y dado un nmero
A2 : x(N (x) N (x )) par cualquiera, el sucesor del sucesor de ese nmero
A3 : x(N (x) 0 = x ) tambin pertenece a ese conjunto, entonces todos los
nmeros pares pertenecen a ese conjunto.
A4 : xy((N (x) N (y) x = y ) x = y)
( )
Bajo esta interpretacin, todos los axiomas resultan ver-
A5 : (0) x ((x) (x )) x (x)
daderos, y los axiomas ya no denen a los nmeros natu-
( ( )) rales, sino a los nmeros pares. Tambin es posible encon-
A5 : (0) x ((x) (x )) x (x) trar modelos (es decir, interpretaciones que hagan verda-
deros a todos los axiomas) por fuera de la matemtica.
Cambiar los axiomas para que incluyan al 0 es slo una Por ejemplo, se podra interpretar a 0 como el primer da
cuestin de cambiar toda aparicin del 1 por el 0. Sin em- de la creacin, a N como el predicado ser un da, y a
bargo, en las deniciones (o los axiomas) de suma y de x' como el da despus de x. Bajo esta interpretacin, los
multiplicacin hay que hacer algunos leves ajustes ms: axiomas tambin resultan verdaderos.
A aquellos modelos que no fueron originalmente planea-
Deniciones de suma y multiplicacin: dos se los llama modelos inintencionales (non-intended
models), y existen innitos modelos inintencionales de la
aritmtica de Peano. Estrictamente hablando, la aritmti-
ca de Peano no dene el conjunto de los nmeros natura-
Axiomas de la suma y de la multiplicacin: les, sino a la nocin ms amplia de sucesin matemtica
o progresin aritmtica de los naturales.

2 Modelos inintencionales
Un modelo es una interpretacin de los smbolos primiti-
vos que hace verdaderos a todos los axiomas. Por ejem-
plo, interpretando al smbolo 0 como el nmero cero, y al
predicado N como los nmeros naturales, el primer axio-
ma resulta verdadero, porque es verdad que el cero es
un nmero natural. Lo mismo ocurre con todos los otros
axiomas: bajo las interpretaciones naturales de 0, N y x',
3 Referencias
[1] F. Gareth Ashurst. fundadores de las matemticas moder-
nas. Alianza editorial, Madrid.ISBN 84-206-0130-1
[2] Bush- Obreanu. Introduccin a la matemtica superior
4 Bibliografa
Peano, Giuseppe (marzo de 1979). Julin Velarde
 3

Lombraa, ed. Los principios de la aritmtica: ex-

puestos segn un nuevo mtodo. Traducido por Julin
Velarde Lombraa (1 edicin). Pentalfa Ediciones.
ISBN 978-84-85422-02-9.

5 Vase tambin
Concepto primitivo

Conjunto bien ordenado

6 Enlaces externos
MaTeTaM: Postulados de Peano
El Arte de las Matemticas: Postulados de Peano
4 7 TEXTO E IMGENES DE ORIGEN, COLABORADORES Y LICENCIAS

7 Texto e imgenes de origen, colaboradores y licencias

7.1 Texto
Axiomas de Peano Fuente: https://es.wikipedia.org/wiki/Axiomas_de_Peano?oldid=85251051 Colaboradores: Joseaperez, Sabbut,
SpeedyGonzalez, Jynus, Rsg, Tano4595, Triebjlr, Renabot, LeonardoRob0t, Orgullobot~eswiki, RobotQuistnix, Yrbot, BOT-
Superzerocool, YurikBot, LoquBot, Rbonvall, BOTpolicia, JMCC1, Davius, Ingenioso Hidalgo, Thijs!bot, Bernard, Cgb, Spaceone, JAnD-
bot, Charly Toluca, Wybot, VolkovBot, Urdangaray, Raystorm, Matdrodes, SieBot, PaintBot, Manw, Dnu72, Leonpolanco, Raulshc, Ca-
milo, AVBOT, Luis Felipe Schenone, ArthurBot, SuperBraulio13, Jkbw, Rubinbot, Dreitmen, Atope36, Daniel unam, PatruBOT, Kami-
kazeBot, Chikarancid, EmausBot, Zaul000, MadriCR, MerlIwBot, Julio grillo, Acratta, Addbot, Helderandres1774, Jarould, Fralger, X2y3
y Annimos: 43

7.2 Imgenes

7.3 Licencia de contenido

Creative Commons Attribution-Share Alike 3.0