SlideShare una empresa de Scribd logo
1 de 3
Descargar para leer sin conexión
AXIOMAS DE PEANO1
Los axiomas de Peano o postulados de Peano son un conjunto de axiomas para la
aritmética introducidos por Giuseppe Peano en el siglo XIX. Los axiomas se han
utilizado prácticamente sin cambios para una variedad de investigaciones matemáticas
y metamatemáticas, incluyendo cuestiones acerca de la consistencia y completitud de
la aritmética y la teoría de números.
Los cinco axiomas o postulados de Peano son los siguientes:
1. El 1 es un número natural.
2. Si n es un número natural, entonces el sucesor de n también es un número
natural.
3. El 1 no es el sucesor de ningún número natural.
4. Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son
el mismo número natural.
5. Si el 1 pertenece a un conjunto, y dado un número natural cualquiera, el
sucesor de ese número también pertenece a ese conjunto, entonces todos los
1
Tomado de F. Gareth Ashurst. fundadores de las matemáticas modernas. Alianza editorial, Madrid
En lógica y matemática, un axioma o postulado es una fórmula bien formada de un
lenguaje formal que se acepta sin demostración, como punto de partida para
demostrar otras fórmulas. Tradicionalmente, los axiomas se eligen de entre las
demás fórmulas por ser "verdades evidentes" y porque permiten deducir a las
demás fórmulas deseadas. Sin embargo, no todos los teóricos están de acuerdo con
esta aproximación.
En matemática, un axioma no siempre es una verdad evidente, sino una fórmula
bien formada utilizada en una deducción para llegar a una conclusión.
números naturales pertenecen a ese conjunto. Este es el axioma de inducción,
y captura la idea de inducción matemática.
Presentación formal
Los símbolos que designan los conceptos primitivos son .
El símbolo designa un predicado monádico que pretende ser leído como "ser un
número natural". El símbolo , por su parte, designa una constante que pretende
representar al número uno. Y el símbolo , finalmente, designa una función sobre x
que devuelve al sucesor de x. A esta función muchas veces se la escribe .
Los cinco axiomas de Peano son:
Del quinto axioma existen dos variantes. El primero está formulado en lógica de primer
orden, y es en realidad un esquema de axioma. El segundo sí es un axioma, pero está
formulado en lógica de segundo orden.
Además de los cinco axiomas, la aritmética de Peano recurre a dos definiciones (de la
suma y de la multiplicación), que a veces se presentan como axiomas. A continuación
se incluyen todas las variantes:
 Definiciones de suma y multiplicación:
 Axiomas de la suma y de la multiplicación:

Más contenido relacionado

La actualidad más candente

Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosAngel Brito
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferenciasMaria Gaitan
 
Lección 1.8 Composición Y Descomposición De Funciones CeL
Lección 1.8 Composición Y Descomposición De Funciones CeLLección 1.8 Composición Y Descomposición De Funciones CeL
Lección 1.8 Composición Y Descomposición De Funciones CeLPomales CeL
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostracionesRafa Cruz
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad Luis Serrano
 
Principios Básicos de la Nomenclatura de Compuestos Orgánicos
Principios Básicos de la Nomenclatura de Compuestos OrgánicosPrincipios Básicos de la Nomenclatura de Compuestos Orgánicos
Principios Básicos de la Nomenclatura de Compuestos Orgánicosmaestroparra
 
Benceno nomenclatura prop_usos_reacciones (1)
Benceno nomenclatura prop_usos_reacciones (1)Benceno nomenclatura prop_usos_reacciones (1)
Benceno nomenclatura prop_usos_reacciones (1)Oscar Chuquimia
 
Guía “integración de potencias de funciones trigonométricas”
Guía “integración de potencias de funciones trigonométricas”Guía “integración de potencias de funciones trigonométricas”
Guía “integración de potencias de funciones trigonométricas”angiegutierrez11
 
Distintas formas de expresar un número complejo
Distintas formas de expresar un número complejoDistintas formas de expresar un número complejo
Distintas formas de expresar un número complejoSabrina Dechima
 
REDOX método del ion-electrón (medio básico)
 REDOX método del ion-electrón (medio básico) REDOX método del ion-electrón (medio básico)
REDOX método del ion-electrón (medio básico)KALIUM academia
 
NOMENCLATURA Y FORMULACIÓN DE SALES
NOMENCLATURA Y FORMULACIÓN DE SALES NOMENCLATURA Y FORMULACIÓN DE SALES
NOMENCLATURA Y FORMULACIÓN DE SALES claudia guzman
 
Ejercicios de axiomas
Ejercicios de axiomasEjercicios de axiomas
Ejercicios de axiomasLuis Lopez Ac
 
Funcion logaritmica y sus propiedades
Funcion logaritmica y sus propiedadesFuncion logaritmica y sus propiedades
Funcion logaritmica y sus propiedadesReinaVazquez
 
Soluciones, coloides, solubiidad y suspenciones
Soluciones, coloides, solubiidad y suspencionesSoluciones, coloides, solubiidad y suspenciones
Soluciones, coloides, solubiidad y suspencionesdaaladier
 
Las funciones matemáticas
Las funciones matemáticasLas funciones matemáticas
Las funciones matemáticaseduarderic
 

La actualidad más candente (20)

Ejercicios - Leyes de Conjuntos
Ejercicios - Leyes de ConjuntosEjercicios - Leyes de Conjuntos
Ejercicios - Leyes de Conjuntos
 
Leyes de la logica e inferencias
Leyes de la  logica  e inferenciasLeyes de la  logica  e inferencias
Leyes de la logica e inferencias
 
Hidrocarburos aromáticos
Hidrocarburos aromáticosHidrocarburos aromáticos
Hidrocarburos aromáticos
 
Lección 1.8 Composición Y Descomposición De Funciones CeL
Lección 1.8 Composición Y Descomposición De Funciones CeLLección 1.8 Composición Y Descomposición De Funciones CeL
Lección 1.8 Composición Y Descomposición De Funciones CeL
 
Conjuntos demostraciones
Conjuntos demostracionesConjuntos demostraciones
Conjuntos demostraciones
 
Limites laterales
Limites lateralesLimites laterales
Limites laterales
 
taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad taller de la espol sobre la primera unidad
taller de la espol sobre la primera unidad
 
Principios Básicos de la Nomenclatura de Compuestos Orgánicos
Principios Básicos de la Nomenclatura de Compuestos OrgánicosPrincipios Básicos de la Nomenclatura de Compuestos Orgánicos
Principios Básicos de la Nomenclatura de Compuestos Orgánicos
 
Ejercicios Resueltos de Físics Cuántica II
Ejercicios Resueltos de Físics Cuántica IIEjercicios Resueltos de Físics Cuántica II
Ejercicios Resueltos de Físics Cuántica II
 
Teorema del binomio
Teorema del binomioTeorema del binomio
Teorema del binomio
 
Benceno nomenclatura prop_usos_reacciones (1)
Benceno nomenclatura prop_usos_reacciones (1)Benceno nomenclatura prop_usos_reacciones (1)
Benceno nomenclatura prop_usos_reacciones (1)
 
Guía “integración de potencias de funciones trigonométricas”
Guía “integración de potencias de funciones trigonométricas”Guía “integración de potencias de funciones trigonométricas”
Guía “integración de potencias de funciones trigonométricas”
 
Distintas formas de expresar un número complejo
Distintas formas de expresar un número complejoDistintas formas de expresar un número complejo
Distintas formas de expresar un número complejo
 
REDOX método del ion-electrón (medio básico)
 REDOX método del ion-electrón (medio básico) REDOX método del ion-electrón (medio básico)
REDOX método del ion-electrón (medio básico)
 
NOMENCLATURA Y FORMULACIÓN DE SALES
NOMENCLATURA Y FORMULACIÓN DE SALES NOMENCLATURA Y FORMULACIÓN DE SALES
NOMENCLATURA Y FORMULACIÓN DE SALES
 
Ejercicios de axiomas
Ejercicios de axiomasEjercicios de axiomas
Ejercicios de axiomas
 
Funcion logaritmica y sus propiedades
Funcion logaritmica y sus propiedadesFuncion logaritmica y sus propiedades
Funcion logaritmica y sus propiedades
 
Soluciones, coloides, solubiidad y suspenciones
Soluciones, coloides, solubiidad y suspencionesSoluciones, coloides, solubiidad y suspenciones
Soluciones, coloides, solubiidad y suspenciones
 
Las funciones matemáticas
Las funciones matemáticasLas funciones matemáticas
Las funciones matemáticas
 
Proyecto final matemática 2 (INTEGRALES)
Proyecto final matemática 2 (INTEGRALES)Proyecto final matemática 2 (INTEGRALES)
Proyecto final matemática 2 (INTEGRALES)
 

Destacado

Axiomas de peano para nat
Axiomas de peano para natAxiomas de peano para nat
Axiomas de peano para natJohn Ortiz
 
From Legacy to Hexagonal (An Unexpected Android Journey)
From Legacy to Hexagonal (An Unexpected Android Journey)From Legacy to Hexagonal (An Unexpected Android Journey)
From Legacy to Hexagonal (An Unexpected Android Journey)Jose Manuel Pereira Garcia
 
Contribuciones de euler a la teoría de números
Contribuciones de euler a la teoría de númerosContribuciones de euler a la teoría de números
Contribuciones de euler a la teoría de númerosAlberto Segura
 
Dimitri ivanovich mendeléiev newlands y meyer
Dimitri ivanovich mendeléiev newlands y meyerDimitri ivanovich mendeléiev newlands y meyer
Dimitri ivanovich mendeléiev newlands y meyermanuelmmr
 
190835309 analisis-matematico-vol-1-haaser-la-salle-sullivan
190835309 analisis-matematico-vol-1-haaser-la-salle-sullivan190835309 analisis-matematico-vol-1-haaser-la-salle-sullivan
190835309 analisis-matematico-vol-1-haaser-la-salle-sullivanJean Ramos
 
Iv. el método axiomático en la ciencia
Iv. el método axiomático en la cienciaIv. el método axiomático en la ciencia
Iv. el método axiomático en la cienciaanaidvelazquez
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTicaPriscila
 
Métodos de separación de mezclas
Métodos de separación de mezclasMétodos de separación de mezclas
Métodos de separación de mezclasCarl Astu
 
Arrhenius: Disociación Electrolítica - Electrólisis - Propiedades Coligativas...
Arrhenius: Disociación Electrolítica - Electrólisis - Propiedades Coligativas...Arrhenius: Disociación Electrolítica - Electrólisis - Propiedades Coligativas...
Arrhenius: Disociación Electrolítica - Electrólisis - Propiedades Coligativas...Miryam Coñoepán
 
Conjuntos numéricos y propiedades
Conjuntos numéricos y propiedadesConjuntos numéricos y propiedades
Conjuntos numéricos y propiedadesblancavallejo
 
Funciones y usos de los numeros
Funciones y usos de los numerosFunciones y usos de los numeros
Funciones y usos de los numerosFlorat
 
Origen y desarrollo de la Geometría
Origen y desarrollo de la GeometríaOrigen y desarrollo de la Geometría
Origen y desarrollo de la GeometríaHiram Baez Andino
 
Tipos de fuerzas
Tipos de fuerzasTipos de fuerzas
Tipos de fuerzasconyrecabal
 

Destacado (20)

Axiomas De Peano
Axiomas De PeanoAxiomas De Peano
Axiomas De Peano
 
Axiomas de peano para nat
Axiomas de peano para natAxiomas de peano para nat
Axiomas de peano para nat
 
From Legacy to Hexagonal (An Unexpected Android Journey)
From Legacy to Hexagonal (An Unexpected Android Journey)From Legacy to Hexagonal (An Unexpected Android Journey)
From Legacy to Hexagonal (An Unexpected Android Journey)
 
Contribuciones de euler a la teoría de números
Contribuciones de euler a la teoría de númerosContribuciones de euler a la teoría de números
Contribuciones de euler a la teoría de números
 
Dimitri ivanovich mendeléiev newlands y meyer
Dimitri ivanovich mendeléiev newlands y meyerDimitri ivanovich mendeléiev newlands y meyer
Dimitri ivanovich mendeléiev newlands y meyer
 
Probabilidad 2º
Probabilidad 2ºProbabilidad 2º
Probabilidad 2º
 
190835309 analisis-matematico-vol-1-haaser-la-salle-sullivan
190835309 analisis-matematico-vol-1-haaser-la-salle-sullivan190835309 analisis-matematico-vol-1-haaser-la-salle-sullivan
190835309 analisis-matematico-vol-1-haaser-la-salle-sullivan
 
Iv. el método axiomático en la ciencia
Iv. el método axiomático en la cienciaIv. el método axiomático en la ciencia
Iv. el método axiomático en la ciencia
 
Método axiomático
Método axiomáticoMétodo axiomático
Método axiomático
 
LóGica MatemáTica
LóGica MatemáTicaLóGica MatemáTica
LóGica MatemáTica
 
Métodos de separación de mezclas
Métodos de separación de mezclasMétodos de separación de mezclas
Métodos de separación de mezclas
 
Analisis matematico vol 1 rey pastor
Analisis matematico vol 1 rey pastorAnalisis matematico vol 1 rey pastor
Analisis matematico vol 1 rey pastor
 
Arrhenius: Disociación Electrolítica - Electrólisis - Propiedades Coligativas...
Arrhenius: Disociación Electrolítica - Electrólisis - Propiedades Coligativas...Arrhenius: Disociación Electrolítica - Electrólisis - Propiedades Coligativas...
Arrhenius: Disociación Electrolítica - Electrólisis - Propiedades Coligativas...
 
Tipos De Fuerzas
Tipos De FuerzasTipos De Fuerzas
Tipos De Fuerzas
 
Conjuntos numéricos y propiedades
Conjuntos numéricos y propiedadesConjuntos numéricos y propiedades
Conjuntos numéricos y propiedades
 
Funciones y usos de los numeros
Funciones y usos de los numerosFunciones y usos de los numeros
Funciones y usos de los numeros
 
Origen y desarrollo de la Geometría
Origen y desarrollo de la GeometríaOrigen y desarrollo de la Geometría
Origen y desarrollo de la Geometría
 
Las Funciones Del Número
Las Funciones Del NúmeroLas Funciones Del Número
Las Funciones Del Número
 
Tipos de fuerzas
Tipos de fuerzasTipos de fuerzas
Tipos de fuerzas
 
Conteo en preescolar
Conteo en preescolar Conteo en preescolar
Conteo en preescolar
 

Similar a Axiomas de peano

Logica matematica
Logica matematicaLogica matematica
Logica matematicaPEREZJUAN02
 
Taller sobre la logica
Taller sobre la logicaTaller sobre la logica
Taller sobre la logicahugo murcia
 
Elvys sucre revista
Elvys sucre   revistaElvys sucre   revista
Elvys sucre revistaelvyss
 
II. Las Primeras Axiomaticas
II. Las Primeras AxiomaticasII. Las Primeras Axiomaticas
II. Las Primeras AxiomaticasThelyn Meedinna
 
Los teoremas de fermat, wilson y euler
Los teoremas de fermat, wilson y eulerLos teoremas de fermat, wilson y euler
Los teoremas de fermat, wilson y eulerAlberto Segura
 
Los teoremas de fermat, wilson y euler
Los teoremas de fermat, wilson y eulerLos teoremas de fermat, wilson y euler
Los teoremas de fermat, wilson y eulerAlberto Segura
 
69017056 teoria-de-numeros modulo peano
69017056 teoria-de-numeros modulo  peano69017056 teoria-de-numeros modulo  peano
69017056 teoria-de-numeros modulo peanoPablo Perez
 
Historia de la ciencia II
Historia de la ciencia IIHistoria de la ciencia II
Historia de la ciencia IIrafael felix
 
Fourier y sus coeficientes Cañada
Fourier y sus coeficientes CañadaFourier y sus coeficientes Cañada
Fourier y sus coeficientes CañadaCecilia Loeza
 
Numeros naturales
Numeros naturalesNumeros naturales
Numeros naturales130110
 

Similar a Axiomas de peano (20)

Uso De Los NúMeros Naturales
Uso De Los NúMeros NaturalesUso De Los NúMeros Naturales
Uso De Los NúMeros Naturales
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Logica proposiciona
Logica proposicionaLogica proposiciona
Logica proposiciona
 
Logica matematica
Logica matematicaLogica matematica
Logica matematica
 
Taller sobre la logica
Taller sobre la logicaTaller sobre la logica
Taller sobre la logica
 
Elvys sucre revista
Elvys sucre   revistaElvys sucre   revista
Elvys sucre revista
 
Los números
Los númerosLos números
Los números
 
Logica matematico. :v
Logica matematico. :vLogica matematico. :v
Logica matematico. :v
 
II. Las Primeras Axiomaticas
II. Las Primeras AxiomaticasII. Las Primeras Axiomaticas
II. Las Primeras Axiomaticas
 
Los teoremas de fermat, wilson y euler
Los teoremas de fermat, wilson y eulerLos teoremas de fermat, wilson y euler
Los teoremas de fermat, wilson y euler
 
Los teoremas de fermat, wilson y euler
Los teoremas de fermat, wilson y eulerLos teoremas de fermat, wilson y euler
Los teoremas de fermat, wilson y euler
 
Razonamiento monotono
Razonamiento monotonoRazonamiento monotono
Razonamiento monotono
 
69017056 teoria-de-numeros modulo peano
69017056 teoria-de-numeros modulo  peano69017056 teoria-de-numeros modulo  peano
69017056 teoria-de-numeros modulo peano
 
Lógica matemática
Lógica matemáticaLógica matemática
Lógica matemática
 
Historia de la ciencia II
Historia de la ciencia IIHistoria de la ciencia II
Historia de la ciencia II
 
Trabajo de inducción finita de teoría de números
Trabajo de inducción finita de teoría de númerosTrabajo de inducción finita de teoría de números
Trabajo de inducción finita de teoría de números
 
Fourier y sus coeficientes Cañada
Fourier y sus coeficientes CañadaFourier y sus coeficientes Cañada
Fourier y sus coeficientes Cañada
 
Numeros naturales
Numeros naturalesNumeros naturales
Numeros naturales
 
Aldi wiki
Aldi wikiAldi wiki
Aldi wiki
 
Aldi wiki
Aldi wikiAldi wiki
Aldi wiki
 

Más de observatorio2015

El papel de los proyectos en la enseñanza y aprendizaje de la estadística b...
El papel de los proyectos en la enseñanza y aprendizaje de la estadística   b...El papel de los proyectos en la enseñanza y aprendizaje de la estadística   b...
El papel de los proyectos en la enseñanza y aprendizaje de la estadística b...observatorio2015
 
Godino et.al alguién sabe que es el número
Godino et.al   alguién sabe que es el númeroGodino et.al   alguién sabe que es el número
Godino et.al alguién sabe que es el númeroobservatorio2015
 
Ruy diaz adquisisción del número natural
Ruy diaz   adquisisción del número naturalRuy diaz   adquisisción del número natural
Ruy diaz adquisisción del número naturalobservatorio2015
 
Número natural y las 4 operaciones
Número natural y las 4 operacionesNúmero natural y las 4 operaciones
Número natural y las 4 operacionesobservatorio2015
 
Analisis ontosemiotico de una clase de suma y resta
Analisis ontosemiotico de una clase de suma y restaAnalisis ontosemiotico de una clase de suma y resta
Analisis ontosemiotico de una clase de suma y restaobservatorio2015
 
Analisis epistemológico de la secuencia numérica
Analisis epistemológico de la secuencia numéricaAnalisis epistemológico de la secuencia numérica
Analisis epistemológico de la secuencia numéricaobservatorio2015
 
Carmen chamorro la cuadricula
Carmen chamorro   la cuadriculaCarmen chamorro   la cuadricula
Carmen chamorro la cuadriculaobservatorio2015
 
(10 27) godino et.al - niveles de algebrizacion
(10  27)  godino et.al - niveles de algebrizacion(10  27)  godino et.al - niveles de algebrizacion
(10 27) godino et.al - niveles de algebrizacionobservatorio2015
 
Aprendizaje del algebra kieran y filloy
Aprendizaje del algebra   kieran y filloyAprendizaje del algebra   kieran y filloy
Aprendizaje del algebra kieran y filloyobservatorio2015
 
(10 27) godino et.al - niveles de algebrizacion
(10  27)  godino et.al - niveles de algebrizacion(10  27)  godino et.al - niveles de algebrizacion
(10 27) godino et.al - niveles de algebrizacionobservatorio2015
 
Yves chevallard la trasposicion didactica - del saber sabio al saber enseñado
Yves chevallard  la trasposicion didactica - del saber sabio al saber enseñadoYves chevallard  la trasposicion didactica - del saber sabio al saber enseñado
Yves chevallard la trasposicion didactica - del saber sabio al saber enseñadoobservatorio2015
 
Ricardo cantoral socioepistemología
Ricardo cantoral  socioepistemologíaRicardo cantoral  socioepistemología
Ricardo cantoral socioepistemologíaobservatorio2015
 
Javier lezama, reproducibilidad
Javier lezama, reproducibilidadJavier lezama, reproducibilidad
Javier lezama, reproducibilidadobservatorio2015
 
Aprendizaje del algebra kieran y filloy
Aprendizaje del algebra   kieran y filloyAprendizaje del algebra   kieran y filloy
Aprendizaje del algebra kieran y filloyobservatorio2015
 
Godino et.al alguién sabe que es el número
Godino et.al   alguién sabe que es el númeroGodino et.al   alguién sabe que es el número
Godino et.al alguién sabe que es el númeroobservatorio2015
 

Más de observatorio2015 (20)

Tangrama
TangramaTangrama
Tangrama
 
Geoplano
GeoplanoGeoplano
Geoplano
 
El papel de los proyectos en la enseñanza y aprendizaje de la estadística b...
El papel de los proyectos en la enseñanza y aprendizaje de la estadística   b...El papel de los proyectos en la enseñanza y aprendizaje de la estadística   b...
El papel de los proyectos en la enseñanza y aprendizaje de la estadística b...
 
Godino et.al alguién sabe que es el número
Godino et.al   alguién sabe que es el númeroGodino et.al   alguién sabe que es el número
Godino et.al alguién sabe que es el número
 
Ruy diaz adquisisción del número natural
Ruy diaz   adquisisción del número naturalRuy diaz   adquisisción del número natural
Ruy diaz adquisisción del número natural
 
Número natural y las 4 operaciones
Número natural y las 4 operacionesNúmero natural y las 4 operaciones
Número natural y las 4 operaciones
 
Analisis ontosemiotico de una clase de suma y resta
Analisis ontosemiotico de una clase de suma y restaAnalisis ontosemiotico de una clase de suma y resta
Analisis ontosemiotico de una clase de suma y resta
 
Analisis epistemológico de la secuencia numérica
Analisis epistemológico de la secuencia numéricaAnalisis epistemológico de la secuencia numérica
Analisis epistemológico de la secuencia numérica
 
Rider goncalves van hiele
Rider goncalves    van hieleRider goncalves    van hiele
Rider goncalves van hiele
 
Carmen chamorro la cuadricula
Carmen chamorro   la cuadriculaCarmen chamorro   la cuadricula
Carmen chamorro la cuadricula
 
(10 27) godino et.al - niveles de algebrizacion
(10  27)  godino et.al - niveles de algebrizacion(10  27)  godino et.al - niveles de algebrizacion
(10 27) godino et.al - niveles de algebrizacion
 
Aprendizaje del algebra kieran y filloy
Aprendizaje del algebra   kieran y filloyAprendizaje del algebra   kieran y filloy
Aprendizaje del algebra kieran y filloy
 
(10 27) godino et.al - niveles de algebrizacion
(10  27)  godino et.al - niveles de algebrizacion(10  27)  godino et.al - niveles de algebrizacion
(10 27) godino et.al - niveles de algebrizacion
 
Yves chevallard la trasposicion didactica - del saber sabio al saber enseñado
Yves chevallard  la trasposicion didactica - del saber sabio al saber enseñadoYves chevallard  la trasposicion didactica - del saber sabio al saber enseñado
Yves chevallard la trasposicion didactica - del saber sabio al saber enseñado
 
Ricardo cantoral socioepistemología
Ricardo cantoral  socioepistemologíaRicardo cantoral  socioepistemología
Ricardo cantoral socioepistemología
 
Guy brousseau tsd
Guy brousseau   tsdGuy brousseau   tsd
Guy brousseau tsd
 
Javier lezama, reproducibilidad
Javier lezama, reproducibilidadJavier lezama, reproducibilidad
Javier lezama, reproducibilidad
 
Aprendizaje del algebra kieran y filloy
Aprendizaje del algebra   kieran y filloyAprendizaje del algebra   kieran y filloy
Aprendizaje del algebra kieran y filloy
 
Godino et.al alguién sabe que es el número
Godino et.al   alguién sabe que es el númeroGodino et.al   alguién sabe que es el número
Godino et.al alguién sabe que es el número
 
Didacticaestadistica
DidacticaestadisticaDidacticaestadistica
Didacticaestadistica
 

Último

BOCA Y NARIZ (2).pdf....................
BOCA Y NARIZ (2).pdf....................BOCA Y NARIZ (2).pdf....................
BOCA Y NARIZ (2).pdf....................ScarletMedina4
 
Apunte de clase Pisos y Revestimientos 1
Apunte de clase Pisos y Revestimientos 1Apunte de clase Pisos y Revestimientos 1
Apunte de clase Pisos y Revestimientos 1Gonella
 
Apunte de clase Pisos y Revestimientos 2
Apunte de clase Pisos y Revestimientos 2Apunte de clase Pisos y Revestimientos 2
Apunte de clase Pisos y Revestimientos 2Gonella
 
5º SOY LECTOR PART1- MD EDUCATIVO.pdfde
5º SOY LECTOR PART1- MD  EDUCATIVO.pdfde5º SOY LECTOR PART1- MD  EDUCATIVO.pdfde
5º SOY LECTOR PART1- MD EDUCATIVO.pdfdeBelnRosales2
 
4to-Primaria-prueba-Comunicación-Cuadernillo 2.pdf
4to-Primaria-prueba-Comunicación-Cuadernillo 2.pdf4to-Primaria-prueba-Comunicación-Cuadernillo 2.pdf
4to-Primaria-prueba-Comunicación-Cuadernillo 2.pdfMagalyDacostaPea
 
Presentación MF 1445 EVALUACION COMO Y QUE
Presentación MF 1445 EVALUACION COMO Y QUEPresentación MF 1445 EVALUACION COMO Y QUE
Presentación MF 1445 EVALUACION COMO Y QUEJosé Hecht
 
LOS AMBIENTALISTAS todo por un mundo mejor
LOS AMBIENTALISTAS todo por un mundo mejorLOS AMBIENTALISTAS todo por un mundo mejor
LOS AMBIENTALISTAS todo por un mundo mejormrcrmnrojasgarcia
 
La-cosmovision-del-curriculo-educativo-en-Venezuela (1).pptx
La-cosmovision-del-curriculo-educativo-en-Venezuela (1).pptxLa-cosmovision-del-curriculo-educativo-en-Venezuela (1).pptx
La-cosmovision-del-curriculo-educativo-en-Venezuela (1).pptxMAURICIO329243
 
5° Proyecto 13 Cuadernillo para proyectos
5° Proyecto 13 Cuadernillo para proyectos5° Proyecto 13 Cuadernillo para proyectos
5° Proyecto 13 Cuadernillo para proyectosTrishGutirrez
 
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdfMEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdfJosé Hecht
 
Explicación del Modelo de Stephen Toulmin para elaborar argumentos
Explicación del  Modelo de Stephen Toulmin para elaborar argumentosExplicación del  Modelo de Stephen Toulmin para elaborar argumentos
Explicación del Modelo de Stephen Toulmin para elaborar argumentosINESDVERA
 
Si cuidamos el mundo, tendremos un mundo mejor.
Si cuidamos el mundo, tendremos un mundo mejor.Si cuidamos el mundo, tendremos un mundo mejor.
Si cuidamos el mundo, tendremos un mundo mejor.monthuerta17
 
historieta materia de ecologías producto
historieta materia de ecologías productohistorieta materia de ecologías producto
historieta materia de ecologías productommartinezmarquez30
 
Biografía del General Eloy Alfaro Delgado
Biografía del General Eloy Alfaro DelgadoBiografía del General Eloy Alfaro Delgado
Biografía del General Eloy Alfaro DelgadoJosé Luis Palma
 
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).hebegris04
 
Apunte de clase Pisos y Revestimientos 3
Apunte de clase Pisos y Revestimientos 3Apunte de clase Pisos y Revestimientos 3
Apunte de clase Pisos y Revestimientos 3Gonella
 
TALLER_DE_ORALIDAD_LECTURA_ESCRITURA_Y.pptx
TALLER_DE_ORALIDAD_LECTURA_ESCRITURA_Y.pptxTALLER_DE_ORALIDAD_LECTURA_ESCRITURA_Y.pptx
TALLER_DE_ORALIDAD_LECTURA_ESCRITURA_Y.pptxMartaChaparro1
 
CARTEL CONMEMORATIVO DEL ECLIPSE SOLAR 2024 EN NAZAS , DURANGO. Autor y dise...
CARTEL CONMEMORATIVO DEL ECLIPSE SOLAR 2024 EN NAZAS , DURANGO.  Autor y dise...CARTEL CONMEMORATIVO DEL ECLIPSE SOLAR 2024 EN NAZAS , DURANGO.  Autor y dise...
CARTEL CONMEMORATIVO DEL ECLIPSE SOLAR 2024 EN NAZAS , DURANGO. Autor y dise...JAVIER SOLIS NOYOLA
 

Último (20)

Mimos _
Mimos                                       _Mimos                                       _
Mimos _
 
BOCA Y NARIZ (2).pdf....................
BOCA Y NARIZ (2).pdf....................BOCA Y NARIZ (2).pdf....................
BOCA Y NARIZ (2).pdf....................
 
Apunte de clase Pisos y Revestimientos 1
Apunte de clase Pisos y Revestimientos 1Apunte de clase Pisos y Revestimientos 1
Apunte de clase Pisos y Revestimientos 1
 
Apunte de clase Pisos y Revestimientos 2
Apunte de clase Pisos y Revestimientos 2Apunte de clase Pisos y Revestimientos 2
Apunte de clase Pisos y Revestimientos 2
 
5º SOY LECTOR PART1- MD EDUCATIVO.pdfde
5º SOY LECTOR PART1- MD  EDUCATIVO.pdfde5º SOY LECTOR PART1- MD  EDUCATIVO.pdfde
5º SOY LECTOR PART1- MD EDUCATIVO.pdfde
 
4to-Primaria-prueba-Comunicación-Cuadernillo 2.pdf
4to-Primaria-prueba-Comunicación-Cuadernillo 2.pdf4to-Primaria-prueba-Comunicación-Cuadernillo 2.pdf
4to-Primaria-prueba-Comunicación-Cuadernillo 2.pdf
 
Presentación MF 1445 EVALUACION COMO Y QUE
Presentación MF 1445 EVALUACION COMO Y QUEPresentación MF 1445 EVALUACION COMO Y QUE
Presentación MF 1445 EVALUACION COMO Y QUE
 
LOS AMBIENTALISTAS todo por un mundo mejor
LOS AMBIENTALISTAS todo por un mundo mejorLOS AMBIENTALISTAS todo por un mundo mejor
LOS AMBIENTALISTAS todo por un mundo mejor
 
La-cosmovision-del-curriculo-educativo-en-Venezuela (1).pptx
La-cosmovision-del-curriculo-educativo-en-Venezuela (1).pptxLa-cosmovision-del-curriculo-educativo-en-Venezuela (1).pptx
La-cosmovision-del-curriculo-educativo-en-Venezuela (1).pptx
 
5° Proyecto 13 Cuadernillo para proyectos
5° Proyecto 13 Cuadernillo para proyectos5° Proyecto 13 Cuadernillo para proyectos
5° Proyecto 13 Cuadernillo para proyectos
 
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdfMEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
MEDIACIÓN INTERNACIONAL MF 1445 vl45.pdf
 
Explicación del Modelo de Stephen Toulmin para elaborar argumentos
Explicación del  Modelo de Stephen Toulmin para elaborar argumentosExplicación del  Modelo de Stephen Toulmin para elaborar argumentos
Explicación del Modelo de Stephen Toulmin para elaborar argumentos
 
Si cuidamos el mundo, tendremos un mundo mejor.
Si cuidamos el mundo, tendremos un mundo mejor.Si cuidamos el mundo, tendremos un mundo mejor.
Si cuidamos el mundo, tendremos un mundo mejor.
 
historieta materia de ecologías producto
historieta materia de ecologías productohistorieta materia de ecologías producto
historieta materia de ecologías producto
 
Biografía del General Eloy Alfaro Delgado
Biografía del General Eloy Alfaro DelgadoBiografía del General Eloy Alfaro Delgado
Biografía del General Eloy Alfaro Delgado
 
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
HISTORIETA: AVENTURAS VERDES (ECOLOGÍA).
 
Apunte de clase Pisos y Revestimientos 3
Apunte de clase Pisos y Revestimientos 3Apunte de clase Pisos y Revestimientos 3
Apunte de clase Pisos y Revestimientos 3
 
TALLER_DE_ORALIDAD_LECTURA_ESCRITURA_Y.pptx
TALLER_DE_ORALIDAD_LECTURA_ESCRITURA_Y.pptxTALLER_DE_ORALIDAD_LECTURA_ESCRITURA_Y.pptx
TALLER_DE_ORALIDAD_LECTURA_ESCRITURA_Y.pptx
 
CARTEL CONMEMORATIVO DEL ECLIPSE SOLAR 2024 EN NAZAS , DURANGO. Autor y dise...
CARTEL CONMEMORATIVO DEL ECLIPSE SOLAR 2024 EN NAZAS , DURANGO.  Autor y dise...CARTEL CONMEMORATIVO DEL ECLIPSE SOLAR 2024 EN NAZAS , DURANGO.  Autor y dise...
CARTEL CONMEMORATIVO DEL ECLIPSE SOLAR 2024 EN NAZAS , DURANGO. Autor y dise...
 
¿Amor o egoísmo? Esa es la cuestión.pptx
¿Amor o egoísmo? Esa es la cuestión.pptx¿Amor o egoísmo? Esa es la cuestión.pptx
¿Amor o egoísmo? Esa es la cuestión.pptx
 

Axiomas de peano

  • 1. AXIOMAS DE PEANO1 Los axiomas de Peano o postulados de Peano son un conjunto de axiomas para la aritmética introducidos por Giuseppe Peano en el siglo XIX. Los axiomas se han utilizado prácticamente sin cambios para una variedad de investigaciones matemáticas y metamatemáticas, incluyendo cuestiones acerca de la consistencia y completitud de la aritmética y la teoría de números. Los cinco axiomas o postulados de Peano son los siguientes: 1. El 1 es un número natural. 2. Si n es un número natural, entonces el sucesor de n también es un número natural. 3. El 1 no es el sucesor de ningún número natural. 4. Si hay dos números naturales n y m con el mismo sucesor, entonces n y m son el mismo número natural. 5. Si el 1 pertenece a un conjunto, y dado un número natural cualquiera, el sucesor de ese número también pertenece a ese conjunto, entonces todos los 1 Tomado de F. Gareth Ashurst. fundadores de las matemáticas modernas. Alianza editorial, Madrid En lógica y matemática, un axioma o postulado es una fórmula bien formada de un lenguaje formal que se acepta sin demostración, como punto de partida para demostrar otras fórmulas. Tradicionalmente, los axiomas se eligen de entre las demás fórmulas por ser "verdades evidentes" y porque permiten deducir a las demás fórmulas deseadas. Sin embargo, no todos los teóricos están de acuerdo con esta aproximación. En matemática, un axioma no siempre es una verdad evidente, sino una fórmula bien formada utilizada en una deducción para llegar a una conclusión.
  • 2. números naturales pertenecen a ese conjunto. Este es el axioma de inducción, y captura la idea de inducción matemática. Presentación formal Los símbolos que designan los conceptos primitivos son . El símbolo designa un predicado monádico que pretende ser leído como "ser un número natural". El símbolo , por su parte, designa una constante que pretende representar al número uno. Y el símbolo , finalmente, designa una función sobre x que devuelve al sucesor de x. A esta función muchas veces se la escribe . Los cinco axiomas de Peano son: Del quinto axioma existen dos variantes. El primero está formulado en lógica de primer orden, y es en realidad un esquema de axioma. El segundo sí es un axioma, pero está formulado en lógica de segundo orden. Además de los cinco axiomas, la aritmética de Peano recurre a dos definiciones (de la suma y de la multiplicación), que a veces se presentan como axiomas. A continuación se incluyen todas las variantes:  Definiciones de suma y multiplicación:
  • 3.  Axiomas de la suma y de la multiplicación: