wikipedia axiomas peano

Upload: maxi-garin

Post on 05-Feb-2018

215 views

Category:

Documents


0 download

TRANSCRIPT

  • 7/21/2019 Wikipedia Axiomas Peano

    1/3

    Axiomas de Peano

    Nece sitamos tu opinin!Cmo va a crecer este sitio para los prximos mil millones de usuarios de Internet?

    Los axiomas de Peano o postulados de Peanoson un conjunto de axiomas aritmticosideados por el matemtico

    Giuseppe Peanoen el siglo XIX, para definirlos nmeros naturales. Estos axiomas se han utilizado prcticamente sin

    cambios en diversas investigaciones matemticas, incluyendo cuestiones acerca de la consistenciay completitudde la

    aritmtica y la teora de nmeros.

    Los cinco axiomas o postulados de Peano son los siguientes:

    1. El 1 es un nmero natural.1 est en N, el conjunto de los nmeros naturales.

    2. Todo nmero natural ntiene un sucesor n*(este axioma es usado para definir posteriormente la suma).

    3. El 1 no es el sucesor de algn nmero natural.

    4. Si hay dos nmeros naturales ny mcon el mismo sucesor, entonces ny mson el mismo nmero natural.

    5. Si el 1 pertenece a un conjunto K de nmeros naturales, y dado un elemento cualquiera k, el sucesor k* tambin

    pertenece al conjunto K, entonces todos los nmeros naturales pertenecen a ese conjunto K. Este ltimo axioma es elprincipio de induccin matemtica.

    Hay un debate sobre si considerar al 0 como nmero natural o no. Generalmente se decide en cada caso, dependiendo de

    si se necesita o no. Cuando se resuelve incluir al 0, entonces deben hacerse algunos ajustes menores:

    1. El 0 es un nmero natural.

    2. Si nes un nmero natural, entonces el sucesor de ntambin es un nmero natural.

    3. El 0 no es el sucesor de algn nmero natural.

    4. Si hay dos nmeros naturales ny mcon el mismo sucesor, entonces ny mson el mismo nmero natural.

    5. Si el 0 pertenece a unconjunto, y dado un nmero natural cualquiera, el sucesor de ese nmero tambin pertenece a

    ese conjunto, entonces todos los nmeros naturales pertenecen a ese conjunto.

    ndice [ ocultar]1 Presentacin formal

    1.1 Cuando se excluye al 01.2 Cuando se incluye al 0

    2 Modelos inintencionales

    3 Bibliografa4 Vase tambin5 Enlaces externos

    Presentacin formal [editar]

    Como se dijo antes existe un debate sobre si incluir al 0 entre los nmeros naturales o no. A continuacin se presentan los

    axiomas de Peano de manera formal, contemplando ambas posibilidades:

    Cuando se excluye al 0 [editar]

    Los smbolos que designan los conceptos primitivosson .

    El smbolo Ndesigna un predicado mondico que se lee ser un nmero natural. El smbolo 1, por su parte, designa una

    constante que pretende representar al nmero uno. Y el smbolox', finalmente, designa una funcinsobre xque devuelve al

    sucesorde x. A esta funcin muchas veces se la escribe S(x). Finalmente, la metavariable representa una frmula

    cualquiera de la aritmtica, y representa una frmula cualquiera que tenga axcomo variable libre.

    Los cinco axiomas de Peano son:

    Del quinto axioma existen dos variantes. El primero est formulado en lgica de primer orden, y es en realidad un esquema

    de axioma. El segundo s es un axioma, pero est formulado en lgica de segundo orden.

    Artculo Discusin Leer Editar Ms Buscar

    Editar los enlaces

    Portada

    Portalde la comunidadActualidad

    Cambios recientes

    Pginas nuevas

    Pgina aleatoria

    Ayuda

    Donaciones

    Notificar un error

    Imprimir/exportar

    Crear un libro

    Descargar como PDF

    Versin para imprimir

    Herramientas

    Lo que enlaza aqu

    Cambios enenlazadas

    Subir un archivo

    Pginas especiales

    Enlace permanente

    Informacin de lapgina

    Elemento de Wikidata

    Citar esta pgina

    En otros idiomas

    Azrbaycanca

    ()

    Bosanski

    Catal

    etina

    Dansk

    Deutsch

    English

    Suomi

    Franais

    MagyarItaliano

    Nederlands

    Norsk bokml

    Piemontis

    Portugus

    Svenska

    Trke

    [ Help with translations! ]

    Crear una cuenta Acceder

    converted by Web2PDFConvert.com

    http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Inducci%C3%B3n_matem%C3%A1ticahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Definici%C3%B3n_(matem%C3%A1tica)http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/N%C3%BAmeros_naturaleshttp://localhost/var/www/apps/conversion/tmp/scratch_7//meta.wikimedia.org/wiki/Special:MyLanguage/2015_Strategy/Community_consultationhttp://localhost/var/www/apps/conversion/tmp/scratch_7//meta.wikimedia.org/wiki/Special:MyLanguage/2015_Strategy/Community_consultationhttp://localhost/var/www/apps/conversion/tmp/scratch_7//meta.wikimedia.org/wiki/Special:MyLanguage/2015_Strategy/Community_consultationhttp://localhost/var/www/apps/conversion/tmp/scratch_7//meta.wikimedia.org/wiki/Special:MyLanguage/2015_Strategy/Community_consultationhttp://localhost/var/www/apps/conversion/tmp/scratch_7//meta.wikimedia.org/wiki/Special:MyLanguage/2015_Strategy/Community_consultationhttp://localhost/var/www/apps/conversion/tmp/scratch_7//no.wikipedia.org/wiki/Peanos_aksiomerhttp://localhost/var/www/apps/conversion/tmp/scratch_7//ko.wikipedia.org/wiki/%ED%8E%98%EC%95%84%EB%85%B8_%EA%B3%B5%EB%A6%AC%EA%B3%84http://localhost/var/www/apps/conversion/tmp/scratch_7//hu.wikipedia.org/wiki/Giuseppe_Peano#A_term.C3.A9szetes_sz.C3.A1mok_Peano-axi.C3.B3m.C3.A1ihttp://localhost/var/www/apps/conversion/tmp/scratch_7//he.wikipedia.org/wiki/%D7%9E%D7%A2%D7%A8%D7%9B%D7%AA_%D7%A4%D7%90%D7%A0%D7%95http://localhost/var/www/apps/conversion/tmp/scratch_7//fi.wikipedia.org/wiki/Peanon_aksioomathttp://localhost/var/www/apps/conversion/tmp/scratch_7//en.wikipedia.org/wiki/Peano_axiomshttp://localhost/var/www/apps/conversion/tmp/scratch_7//de.wikipedia.org/wiki/Peano-Axiomehttp://localhost/var/www/apps/conversion/tmp/scratch_7//cs.wikipedia.org/wiki/Peanovy_axiomyhttp://localhost/var/www/apps/conversion/tmp/scratch_7//be.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D1%96%D1%91%D0%BC%D1%8B_%D0%9F%D0%B5%D0%B0%D0%BD%D0%B0http://localhost/var/www/apps/conversion/tmp/scratch_7//az.wikipedia.org/wiki/Peano_aksiomalar%C4%B1http://localhost/var/www/apps/conversion/tmp/scratch_7//www.wikidata.org/wiki/Q842755http://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=infohttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:P%C3%A1ginasEspecialeshttp://localhost/var/www/apps/conversion/tmp/scratch_7//commons.wikimedia.org/wiki/Special:UploadWizard?uselang=eshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:CambiosEnEnlazadas/Axiomas_de_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&printable=yeshttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Especial:Libro&bookcmd=book_creator&referer=Axiomas+de+Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Informes_de_errorhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Ayuda:Contenidoshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:CambiosRecienteshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Portadahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Portadahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Portadahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Portadahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Portadahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Portadahttp://www.web2pdfconvert.com/?ref=PDFhttp://www.web2pdfconvert.com/?ref=PDFhttp://localhost/var/www/apps/conversion/tmp/scratch_7//www.wikidata.org/wiki/Q842755#sitelinks-wikipediahttp://localhost/var/www/apps/conversion/tmp/scratch_7//zh.wikipedia.org/wiki/%E7%9A%AE%E4%BA%9A%E8%AF%BA%E5%85%AC%E7%90%86http://localhost/var/www/apps/conversion/tmp/scratch_7//uk.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D1%96%D0%BE%D0%BC%D0%B8_%D0%9F%D0%B5%D0%B0%D0%BD%D0%BEhttp://localhost/var/www/apps/conversion/tmp/scratch_7//tr.wikipedia.org/wiki/Peano_aksiyomlar%C4%B1http://localhost/var/www/apps/conversion/tmp/scratch_7//sv.wikipedia.org/wiki/Peanos_axiomhttp://localhost/var/www/apps/conversion/tmp/scratch_7//ru.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D0%B8%D0%BE%D0%BC%D1%8B_%D0%9F%D0%B5%D0%B0%D0%BD%D0%BEhttp://localhost/var/www/apps/conversion/tmp/scratch_7//pt.wikipedia.org/wiki/Axiomas_de_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7//pms.wikipedia.org/wiki/Assi%C3%B2ma_%C3%ABd_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7//no.wikipedia.org/wiki/Peanos_aksiomerhttp://localhost/var/www/apps/conversion/tmp/scratch_7//nl.wikipedia.org/wiki/Axioma%27s_van_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7//ko.wikipedia.org/wiki/%ED%8E%98%EC%95%84%EB%85%B8_%EA%B3%B5%EB%A6%AC%EA%B3%84http://localhost/var/www/apps/conversion/tmp/scratch_7//ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86http://localhost/var/www/apps/conversion/tmp/scratch_7//it.wikipedia.org/wiki/Assiomi_di_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7//hu.wikipedia.org/wiki/Giuseppe_Peano#A_term.C3.A9szetes_sz.C3.A1mok_Peano-axi.C3.B3m.C3.A1ihttp://localhost/var/www/apps/conversion/tmp/scratch_7//hi.wikipedia.org/wiki/%E0%A4%AA%E0%A4%BF%E0%A4%AF%E0%A4%BE%E0%A4%A8%E0%A5%8B_%E0%A4%95%E0%A5%87_%E0%A4%85%E0%A4%AD%E0%A4%BF%E0%A4%97%E0%A5%83%E0%A4%B9%E0%A5%80%E0%A4%A4http://localhost/var/www/apps/conversion/tmp/scratch_7//he.wikipedia.org/wiki/%D7%9E%D7%A2%D7%A8%D7%9B%D7%AA_%D7%A4%D7%90%D7%A0%D7%95http://localhost/var/www/apps/conversion/tmp/scratch_7//fr.wikipedia.org/wiki/Axiomes_de_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7//fi.wikipedia.org/wiki/Peanon_aksioomathttp://localhost/var/www/apps/conversion/tmp/scratch_7//en.wikipedia.org/wiki/Peano_axiomshttp://localhost/var/www/apps/conversion/tmp/scratch_7//el.wikipedia.org/wiki/%CE%91%CE%BE%CE%B9%CF%8E%CE%BC%CE%B1%CF%84%CE%B1_%CE%A0%CE%B5%CE%AC%CE%BD%CE%BFhttp://localhost/var/www/apps/conversion/tmp/scratch_7//de.wikipedia.org/wiki/Peano-Axiomehttp://localhost/var/www/apps/conversion/tmp/scratch_7//da.wikipedia.org/wiki/Peanos_aksiomerhttp://localhost/var/www/apps/conversion/tmp/scratch_7//cs.wikipedia.org/wiki/Peanovy_axiomyhttp://localhost/var/www/apps/conversion/tmp/scratch_7//ca.wikipedia.org/wiki/Axiomes_de_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7//bs.wikipedia.org/wiki/Peanovi_aksiomihttp://localhost/var/www/apps/conversion/tmp/scratch_7//be-x-old.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D1%96%D1%91%D0%BC%D1%8B_%D0%9F%D1%8D%D0%B0%D0%BD%D0%B0http://localhost/var/www/apps/conversion/tmp/scratch_7//be.wikipedia.org/wiki/%D0%90%D0%BA%D1%81%D1%96%D1%91%D0%BC%D1%8B_%D0%9F%D0%B5%D0%B0%D0%BD%D0%B0http://localhost/var/www/apps/conversion/tmp/scratch_7//az.wikipedia.org/wiki/Peano_aksiomalar%C4%B1http://localhost/var/www/apps/conversion/tmp/scratch_7//ar.wikipedia.org/wiki/%D8%A8%D8%AF%D9%8A%D9%87%D9%8A%D8%A7%D8%AA_%D8%A8%D9%8A%D8%A7%D9%86%D9%88http://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Especial:Citar&page=Axiomas_de_Peano&id=79259399http://localhost/var/www/apps/conversion/tmp/scratch_7//www.wikidata.org/wiki/Q842755http://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=infohttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&oldid=79259399http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:P%C3%A1ginasEspecialeshttp://localhost/var/www/apps/conversion/tmp/scratch_7//commons.wikimedia.org/wiki/Special:UploadWizard?uselang=eshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:CambiosEnEnlazadas/Axiomas_de_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:LoQueEnlazaAqu%C3%AD/Axiomas_de_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&printable=yeshttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Especial:Libro&bookcmd=render_article&arttitle=Axiomas+de+Peano&oldid=79259399&writer=rdf2latexhttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Especial:Libro&bookcmd=book_creator&referer=Axiomas+de+Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Informes_de_errorhttp://localhost/var/www/apps/conversion/tmp/scratch_7//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_es.wikipedia.org&uselang=eshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Ayuda:Contenidoshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:Aleatoriahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:P%C3%A1ginasNuevashttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:CambiosRecienteshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Portal:Actualidadhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Portal:Comunidadhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Portadahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Portadahttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=edithttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Discusi%C3%B3n:Axiomas_de_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Especial:Entrar&returnto=Axiomas+de+Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Especial:Entrar&returnto=Axiomas+de+Peano&type=signuphttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/L%C3%B3gica_de_segundo_ordenhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/L%C3%B3gica_de_primer_ordenhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Sucesorhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Funci%C3%B3n_matem%C3%A1ticahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Unohttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/N%C3%BAmero_naturalhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Concepto_primitivohttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=edit&section=2http://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=edit&section=1http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Inducci%C3%B3n_matem%C3%A1ticahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Teor%C3%ADa_de_n%C3%BAmeroshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Completitud_(l%C3%B3gica)http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Consistencia_(l%C3%B3gica)http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/N%C3%BAmeros_naturaleshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Definici%C3%B3n_(matem%C3%A1tica)http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Giuseppe_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Aritm%C3%A9ticahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Axiomahttp://localhost/var/www/apps/conversion/tmp/scratch_7//meta.wikimedia.org/w/index.php?title=Special:Translate&group=Centralnotice-tgroup-Strategy2015_A_Desktop&filter=http://localhost/var/www/apps/conversion/tmp/scratch_7//meta.wikimedia.org/wiki/Special:MyLanguage/2015_Strategy/Community_consultation
  • 7/21/2019 Wikipedia Axiomas Peano

    2/3

    Adems de los cinco axiomas, la aritmtica de Peano recurre a dos definiciones (de la suma y de la multiplicacin), que a

    veces se presentan como axiomas. A continuacin se incluyen todas las variantes:

    Definiciones de suma y multiplicacin:

    Axiomas de la suma y de la multiplicacin:

    Cuando se incluye al 0 [editar]Los smbolos que designan los conceptos primitivos son .

    Axiomas:

    Cambiar los axiomas para que incluyan al 0 es slo una cuestin de cambiar toda aparicin del 1 por el 0. Sin embargo, en

    las definiciones (o los axiomas) de suma y de multiplicacin hay que hacer algunos leves ajustes ms:

    Definiciones de suma y multiplicacin:

    Axiomas de la suma y de la multiplicacin:

    Modelos inintencionales [editar]

    Un modeloes una interpretacinde los smbolos primitivos que hace verdaderos a todos los axiomas. Por ejemplo,

    interpretando al smbolo 0 como el nmero cero, y al predicado Ncomo los nmeros naturales, el primer axioma 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, Ny x', cada uno de los axiomas resulta verdadero. Luego, las interpretaciones naturales de

    los smbolos primitivos son un modelo de la aritmtica de Peano.

    Originalmente, Peano propuso los axiomas para caracterizar a los nmeros naturales, y los smbolos primitivos se deban

    interpretar de esta manera natural. Sin embargo, los smbolos que designan a los conceptos primitivos admiten otras

    interpretaciones, algunas de las cuales sern adems modelos. Por ejemplo, se podra interpretar al smbolo 0 como el

    nmero dos, a Ncomo el predicado ser un nmero par, y ax'como el sucesor del sucesor, en vez del sucesor inmediato.

    converted by Web2PDFConvert.com

    http://www.web2pdfconvert.com/?ref=PDFhttp://www.web2pdfconvert.com/?ref=PDFhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/N%C3%BAmeros_pares_e_impareshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Doshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Cerohttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Interpretaci%C3%B3n_(l%C3%B3gica)http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Teor%C3%ADa_de_modeloshttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=edit&section=4http://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=edit&section=3
  • 7/21/2019 Wikipedia Axiomas Peano

    3/3

    Poltica de privacidad Acerca de Wikipedia Limitacin de responsabilidad Desarrolladores Versin para mviles

    Esta pgina fue modificada por ltima vez el 7 ene 2015 a las 06:21.

    El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables clusulas adicionales. Lanse los trminos de usopara ms informacin.Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.

    Contacto

    En tal caso, los axiomas se tendran que entender as:

    1. El dos es un nmero par

    2. Si nes un nmero par, entonces el sucesor del sucesor de ntambin es un nmero par

    3. El dos no es el sucesor del sucesor de ningn nmero par.

    4. Si hay dos nmeros pares ny mcon el mismo sucesor de sucesor, entonces ny mson el mismo nmero par.

    5. Si el dos pertenece a un conjunto, y dado un nmero par cualquiera, el sucesor del sucesor de ese nmero tambin

    pertenece a ese conjunto, entonces todos los nmeros pares pertenecen a ese conjunto.

    Bajo esta interpretacin, todos los axiomas resultan verdaderos, y los axiomas ya no definen a los nmeros naturales, sino a

    los nmeros pares. Tambin es posible encontrar modelos (es decir, interpretaciones que hagan verdaderos a todos los

    axiomas) por fuera de la matemtica. Por ejemplo, se podra interpretar a 0 como el primer da de la creacin, a Ncomo el

    predicado ser un da, y ax'como el da despus de x. Bajo esta interpretacin, los axiomas tambin resultan verdaderos.

    A aquellos modelos que no fueron originalmente planeados se los llama modelos inintencionales( non-intended models), y

    existen infinitos modelos inintencionales de la aritmtica de Peano. Estrictamente hablando, la aritmtica de Peano no define

    el conjuntode los nmeros naturales, sino a la nocin ms amplia de sucesin matemticao progresin aritmticade los

    naturales.

    Bibliografa [editar]

    Peano, Giuseppe(marzo de 1979). Julin Velarde Lombraa, ed. Los principios de la ar itmtica: expuestos segn un

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

    ase tambin [editar]

    Concepto pr imitivo

    Conjunto bien ordenado

    Enlaces externos [editar]

    MaTeTaM: Postulados de Peano

    El Arte de las Matemticas: Postulados de Peano

    Categoras: Aritmtica Lgica Axiomas matemticos Epnimos relacionados con las matemticas

    converted by Web2PDFConvert.com

    http://www.web2pdfconvert.com/?ref=PDFhttp://www.web2pdfconvert.com/?ref=PDFhttp://localhost/var/www/apps/conversion/tmp/scratch_7//www.mediawiki.org/http://localhost/var/www/apps/conversion/tmp/scratch_7//wikimediafoundation.org/http://localhost/var/www/apps/conversion/tmp/scratch_7//es.m.wikipedia.org/w/index.php?title=Axiomas_de_Peano&mobileaction=toggle_view_mobilehttps://www.mediawiki.org/wiki/Special:MyLanguage/How_to_contributehttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Limitaci%C3%B3n_general_de_responsabilidadhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Acerca_dehttp://localhost/var/www/apps/conversion/tmp/scratch_7//wikimediafoundation.org/wiki/Pol%C3%ADtica_de_protecci%C3%B3n_de_datos_(es)http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Wikipedia:Contactohttp://localhost/var/www/apps/conversion/tmp/scratch_7//www.wikimediafoundation.org/http://localhost/var/www/apps/conversion/tmp/scratch_7//wikimediafoundation.org/wiki/T%C3%A9rminos_de_Usohttp://localhost/var/www/apps/conversion/tmp/scratch_7//es.wikipedia.org/wiki/Wikipedia:Texto_de_la_Licencia_Creative_Commons_Atribuci%C3%B3n-CompartirIgual_3.0_Unportedhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Categor%C3%ADa:Ep%C3%B3nimos_relacionados_con_las_matem%C3%A1ticashttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Categor%C3%ADa:Axiomas_matem%C3%A1ticoshttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Categor%C3%ADa:L%C3%B3gicahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Categor%C3%ADa:Aritm%C3%A9ticahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:Categor%C3%ADashttp://dianapatriciadiazgutierrez.blogspot.com/2009/05/postulados-de-peano.htmlhttp://www.matetam.com/glosario/definicion/postulados-peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=edit&section=7http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Conjunto_bien_ordenadohttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Concepto_primitivo_(l%C3%B3gica)http://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=edit&section=6http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Especial:FuentesDeLibros/978-84-85422-02-9http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/ISBNhttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Giuseppe_Peanohttp://localhost/var/www/apps/conversion/tmp/scratch_7/w/index.php?title=Axiomas_de_Peano&action=edit&section=5http://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Progresi%C3%B3n_aritm%C3%A9ticahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Sucesi%C3%B3n_matem%C3%A1ticahttp://localhost/var/www/apps/conversion/tmp/scratch_7/wiki/Conjunto