stringtranslate.com

Axiomas de Peano

En lógica matemática , los axiomas de Peano ( / p i ˈ ɑː n / , [1] [peˈaːno] ), también conocidos como axiomas de Dedekind-Peano o postulados de Peano , son axiomas para los números naturales presentados por el matemático italiano del siglo XIX Giuseppe Peano . Estos axiomas se han utilizado casi sin cambios en varias investigaciones metamatemáticas , incluidas las investigaciones sobre cuestiones fundamentales de si la teoría de números es consistente y completa .

La axiomatización de la aritmética proporcionada por los axiomas de Peano se denomina comúnmente aritmética de Peano .

La importancia de formalizar la aritmética no fue bien apreciada hasta el trabajo de Hermann Grassmann , quien demostró en la década de 1860 que muchos hechos en aritmética podían derivarse de hechos más básicos sobre la operación sucesora y la inducción . [2] [3] En 1881, Charles Sanders Peirce proporcionó una axiomatización de la aritmética de números naturales. [4] [5] En 1888, Richard Dedekind propuso otra axiomatización de la aritmética de números naturales, y en 1889, Peano publicó una versión simplificada de ellos como una colección de axiomas en su libro Los principios de la aritmética presentados por un nuevo método ( latín : Arithmetices principia, nova methodo exposita ).

Los nueve axiomas de Peano contienen tres tipos de enunciados. El primer axioma afirma la existencia de al menos un miembro del conjunto de números naturales. Los cuatro siguientes son enunciados generales sobre la igualdad ; en los tratamientos modernos, a menudo no se los considera parte de los axiomas de Peano, sino más bien como axiomas de la "lógica subyacente". [6] Los tres axiomas siguientes son enunciados de primer orden sobre los números naturales que expresan las propiedades fundamentales de la operación sucesora. El noveno axioma, el último, es un enunciado de segundo orden del principio de inducción matemática sobre los números naturales, lo que hace que esta formulación se acerque a la aritmética de segundo orden . Se obtiene un sistema de primer orden más débil añadiendo explícitamente los símbolos de las operaciones de adición y multiplicación y reemplazando el axioma de inducción de segundo orden por un esquema axiomático de primer orden . El término aritmética de Peano se utiliza a veces para nombrar específicamente a este sistema restringido.

Formulación histórica de segundo orden

Cuando Peano formuló sus axiomas, el lenguaje de la lógica matemática estaba en pañales. El sistema de notación lógica que creó para presentar los axiomas no resultó popular, aunque fue la génesis de la notación moderna para la pertenencia a conjuntos (∈, que proviene del ε de Peano). Peano mantuvo una clara distinción entre símbolos matemáticos y lógicos, que todavía no era común en matemáticas; dicha separación había sido introducida por primera vez en el Begriffsschrift de Gottlob Frege , publicado en 1879. [7] Peano desconocía el trabajo de Frege y recreó de forma independiente su aparato lógico basándose en el trabajo de Boole y Schröder . [8]

Los axiomas de Peano definen las propiedades aritméticas de los números naturales , usualmente representados como un conjunto N o Los símbolos no lógicos para los axiomas consisten en un símbolo constante 0 y un símbolo de función unaria S.

El primer axioma establece que la constante 0 es un número natural:

  1. 0 es un número natural.

La formulación original de los axiomas de Peano utilizaba 1 en lugar de 0 como el "primer" número natural, [9] mientras que los axiomas del Formulario mathematico incluyen el cero. [10]

Los cuatro axiomas siguientes describen la relación de igualdad . Puesto que son lógicamente válidos en la lógica de primer orden con igualdad, no se los considera parte de los "axiomas de Peano" en los tratamientos modernos. [8]

  1. Para cada número natural x , x = x . Es decir, la igualdad es reflexiva .
  2. Para todos los números naturales x e y , si x = y , entonces y = x . Es decir, la igualdad es simétrica .
  3. Para todos los números naturales x , y y z , si x = y e y = z , entonces x = z . Es decir, la igualdad es transitiva .
  4. Para todos a y b , si b es un número natural y a = b , entonces a también es un número natural. Es decir, los números naturales son cerrados bajo igualdad.

Los axiomas restantes definen las propiedades aritméticas de los números naturales. Se supone que los naturales están cerrados bajo una función " sucesora " univaluada S .

  1. Para cada número natural n , S ( n ) es un número natural. Es decir, los números naturales son cerrados respecto de S .
  2. Para todos los números naturales m y n , si S ( m ) = S ( n ) , entonces m = n . Es decir, S es una inyección .
  3. Para todo número natural n , S ( n ) = 0 es falso. Es decir, no existe ningún número natural cuyo sucesor sea el 0.
La cadena de dominós claros de la derecha, comenzando por el más cercano, puede representar el conjunto N de números naturales. [nota 1] [11] [12] Sin embargo, los axiomas 1 a 8 también se satisfacen para el conjunto de todos los dominós, ya sean claros u oscuros, tomados en conjunto. [nota 2] El noveno axioma ( inducción ) limita N a la cadena de piezas claras ("sin basura") ya que solo caerán los dominós claros cuando se caiga el más cercano. [13]

Los axiomas 1, 6, 7, 8 definen una representación unaria de la noción intuitiva de números naturales: el número 1 puede definirse como S (0), el 2 como S ( S (0)), etc. Sin embargo, considerando la noción de números naturales como definida por estos axiomas, los axiomas 1, 6, 7, 8 no implican que la función sucesora genere todos los números naturales diferentes de 0.

La noción intuitiva de que cada número natural puede obtenerse aplicando el sucesor a cero suficientes veces requiere un axioma adicional, que a veces se denomina axioma de inducción .

  1. Si K es un conjunto tal que:
    • 0 está en K , y
    • para cada número natural n , n estando en K implica que S ( n ) está en K ,
    entonces K contiene todos los números naturales.

El axioma de inducción a veces se enuncia de la siguiente forma:

  1. Si φ es un predicado unario tal que:
    • φ (0) es verdadero, y
    • para cada número natural n , el hecho de que φ ( n ) sea verdadero implica que φ ( S ( n )) es verdadero,
    entonces φ ( n ) es verdadero para todo número natural n .

En la formulación original de Peano, el axioma de inducción es un axioma de segundo orden . Ahora es común reemplazar este principio de segundo orden por un esquema de inducción de primer orden más débil . Existen diferencias importantes entre las formulaciones de segundo y primer orden, como se analiza en la sección § La aritmética de Peano como teoría de primer orden más adelante.

Definición de operaciones y relaciones aritméticas

Si utilizamos el axioma de inducción de segundo orden, es posible definir la adición , la multiplicación y el ordenamiento total (lineal) en N directamente utilizando los axiomas. Sin embargo, con la inducción de primer orden, esto no es posible [ cita requerida ] y la adición y la multiplicación a menudo se agregan como axiomas. Las respectivas funciones y relaciones se construyen en la teoría de conjuntos o la lógica de segundo orden , y se puede demostrar que son únicas utilizando los axiomas de Peano.

Suma

La suma es una función que asigna dos números naturales (dos elementos de N ) a otro. Se define recursivamente como:

Por ejemplo:

Para demostrar la conmutatividad de la adición, primero demuestre y , cada uno por inducción sobre . Usando ambos resultados, luego demuestre por inducción sobre . La estructura ( N , +) es un monoide conmutativo con elemento identidad 0. ( N , +) es también un magma cancelativo y, por lo tanto, integrable en un grupo . El grupo más pequeño que integra N es el de los enteros . [ cita requerida ]

Multiplicación

De manera similar, la multiplicación es una función que asigna dos números naturales a otro. Dada la suma, se define recursivamente como:

Es fácil ver que es la identidad multiplicativa correcta :

Para demostrar que también es la identidad multiplicativa por la izquierda se requiere el axioma de inducción debido a la forma en que se define la multiplicación:

Por lo tanto, por el axioma de inducción , la identidad multiplicativa por la izquierda de todos los números naturales es la misma. Además, se puede demostrar [14] que la multiplicación es conmutativa y se distribuye sobre la suma:

.

Por lo tanto, es un semianillo conmutativo .

Desigualdades

La relación de orden total habitual ≤ en números naturales se puede definir de la siguiente manera, asumiendo que 0 es un número natural:

Para todo a , bN , ab si y sólo si existe algún cN tal que a + c = b .

Esta relación es estable bajo adición y multiplicación: para , si ab , entonces:

Por lo tanto, la estructura ( N , +, ·, 1, 0, ≤) es un semianillo ordenado ; como no hay ningún número natural entre 0 y 1, es un semianillo ordenado discreto.

El axioma de inducción a veces se enuncia en la siguiente forma que utiliza una hipótesis más fuerte, haciendo uso de la relación de orden "≤":

Para cualquier predicado φ , si
  • φ (0) es verdadero, y
  • para cada nN , si φ ( k ) es verdadero para cada kN tal que kn , entonces φ ( S ( n )) es verdadero,
  • entonces para cada nN , φ ( n ) es verdadero.

Esta forma del axioma de inducción, llamada inducción fuerte , es una consecuencia de la formulación estándar, pero a menudo es más adecuada para razonar sobre el orden ≤. Por ejemplo, para demostrar que los naturales están bien ordenados (cada subconjunto no vacío de N tiene un elemento mínimo ), se puede razonar de la siguiente manera. Sea un conjunto no vacío XN y supongamos que X no tiene ningún elemento mínimo.

Así, por el principio de inducción fuerte, para cada nN , nX . Por lo tanto, XN = ∅ , lo que contradice que X sea un subconjunto no vacío de N . Por lo tanto, X tiene un elemento mínimo.

Modelos

Un modelo de los axiomas de Peano es una tripleta ( N , 0, S ) , donde N es un conjunto (necesariamente infinito), 0 ∈ N y S : NN satisface los axiomas anteriores. Dedekind demostró en su libro de 1888, La naturaleza y el significado de los números ( en alemán : Was sind und was sollen die Zahlen? , es decir, "¿Qué son los números y para qué sirven?") que dos modelos cualesquiera de los axiomas de Peano (incluido el axioma de inducción de segundo orden) son isomorfos . En particular, dados dos modelos ( N A , 0 A , S A ) y ( N B , 0 B , S B ) de los axiomas de Peano, existe un homomorfismo único f  : N AN B que satisface

y es una biyección . Esto significa que los axiomas de Peano de segundo orden son categóricos . (Este no es el caso con ninguna reformulación de primer orden de los axiomas de Peano, a continuación).

Modelos de teoría de conjuntos

Los axiomas de Peano pueden derivarse de construcciones teóricas de conjuntos de los números naturales y axiomas de la teoría de conjuntos como ZF . [15] La construcción estándar de los naturales, debida a John von Neumann , comienza con una definición de 0 como el conjunto vacío, ∅, y un operador s en conjuntos definidos como:

El conjunto de los números naturales N se define como la intersección de todos los conjuntos cerrados bajo s que contienen el conjunto vacío. Cada número natural es igual (como conjunto) al conjunto de los números naturales menores que él:

y así sucesivamente. El conjunto N junto con 0 y la función sucesora s  : NN satisface los axiomas de Peano.

La aritmética de Peano es equiconsistente con varios sistemas débiles de teoría de conjuntos. [16] Uno de estos sistemas es ZFC con el axioma de infinito reemplazado por su negación. Otro sistema de este tipo consiste en la teoría general de conjuntos ( extensionalidad , existencia del conjunto vacío y el axioma de adjunción ), aumentada por un esquema axiomático que establece que una propiedad que se cumple para el conjunto vacío y se cumple de una adjunción siempre que se cumple del adjunto debe cumplirse para todos los conjuntos.

Interpretación en la teoría de categorías

Los axiomas de Peano también pueden entenderse utilizando la teoría de categorías . Sea C una categoría con objeto terminal 1 C y definamos la categoría de sistemas unarios puntiagudos , US 1 ( C ) de la siguiente manera:

Entonces se dice que C satisface los axiomas de Dedekind-Peano si US 1 ( C ) tiene un objeto inicial; este objeto inicial se conoce como un objeto de número natural en C . Si ( N , 0, S ) es este objeto inicial, y ( X , 0 X , S X ) es cualquier otro objeto, entonces la función única u  : ( N , 0, S ) → ( X , 0 X , S X ) es tal que

Esta es precisamente la definición recursiva de 0 X y S X .

Consistencia

Cuando se propusieron por primera vez los axiomas de Peano, Bertrand Russell y otros coincidieron en que estos axiomas definían implícitamente lo que queremos decir con un "número natural". [17] Henri Poincaré fue más cauteloso, diciendo que solo definían números naturales si eran consistentes ; si hay una prueba que parte solo de estos axiomas y deriva una contradicción como 0 = 1, entonces los axiomas son inconsistentes y no definen nada. [18] En 1900, David Hilbert planteó el problema de probar su consistencia usando solo métodos finitistas como el segundo de sus veintitrés problemas . [19] En 1931, Kurt Gödel demostró su segundo teorema de incompletitud , que muestra que tal prueba de consistencia no puede formalizarse dentro de la aritmética de Peano en sí, si la aritmética de Peano es consistente. [20]

Aunque se afirma ampliamente que el teorema de Gödel descarta la posibilidad de una prueba de consistencia finitista para la aritmética de Peano, esto depende de exactamente lo que uno entiende por una prueba finitista. El propio Gödel señaló la posibilidad de dar una prueba de consistencia finitista de la aritmética de Peano o de sistemas más fuertes mediante el uso de métodos finitistas que no son formalizables en la aritmética de Peano, y en 1958, Gödel publicó un método para probar la consistencia de la aritmética utilizando la teoría de tipos . [21] En 1936, Gerhard Gentzen dio una prueba de la consistencia de los axiomas de Peano, utilizando la inducción transfinita hasta un ordinal llamado ε 0 . [22] Gentzen explicó: "El objetivo del presente artículo es demostrar la consistencia de la teoría de números elemental o, más bien, reducir la cuestión de la consistencia a ciertos principios fundamentales". Se podría argumentar que la prueba de Gentzen es finitista, ya que el ordinal transfinito ε 0 puede codificarse en términos de objetos finitos (por ejemplo, como una máquina de Turing que describe un orden adecuado en los números enteros, o de manera más abstracta como consistente en los árboles finitos , adecuadamente ordenados linealmente). No está claro si la prueba de Gentzen cumple o no los requisitos que Hilbert imaginó: no hay una definición generalmente aceptada de exactamente qué se entiende por una prueba finitista, y el propio Hilbert nunca dio una definición precisa.

La gran mayoría de los matemáticos contemporáneos creen que los axiomas de Peano son consistentes, basándose ya sea en la intuición o en la aceptación de una prueba de consistencia como la prueba de Gentzen . Un pequeño número de filósofos y matemáticos, algunos de los cuales también abogan por el ultrafinitismo , rechazan los axiomas de Peano porque aceptar los axiomas equivale a aceptar la colección infinita de números naturales. En particular, se supone que la adición (incluida la función sucesora) y la multiplicación son totales . Curiosamente, existen teorías autoverificables que son similares a PA pero tienen resta y división en lugar de adición y multiplicación, que están axiomatizadas de tal manera que evitan probar oraciones que corresponden a la totalidad de la adición y la multiplicación, pero que aún pueden probar todos los teoremas verdaderos de PA, y sin embargo pueden extenderse a una teoría consistente que prueba su propia consistencia (enunciada como la inexistencia de una prueba de estilo Hilbert de "0=1"). [23]

La aritmética de Peano como teoría de primer orden

Todos los axiomas de Peano excepto el noveno axioma (el axioma de inducción) son enunciados de lógica de primer orden . [24] Las operaciones aritméticas de adición y multiplicación y la relación de orden también se pueden definir utilizando axiomas de primer orden. El axioma de inducción anterior es de segundo orden , ya que cuantifica sobre predicados (equivalentemente, conjuntos de números naturales en lugar de números naturales). Como alternativa, se puede considerar un esquema axiomático de primer orden de inducción. Tal esquema incluye un axioma por predicado definible en el lenguaje de primer orden de la aritmética de Peano, lo que lo hace más débil que el axioma de segundo orden. [25] La razón por la que es más débil es que el número de predicados en el lenguaje de primer orden es contable, mientras que el número de conjuntos de números naturales es incontable. Por lo tanto, existen conjuntos que no se pueden describir en el lenguaje de primer orden (de hecho, la mayoría de los conjuntos tienen esta propiedad).

Las axiomatizaciones de primer orden de la aritmética de Peano tienen otra limitación técnica. En la lógica de segundo orden, es posible definir las operaciones de suma y multiplicación a partir de la operación sucesora , pero esto no se puede hacer en el contexto más restrictivo de la lógica de primer orden. Por lo tanto, las operaciones de suma y multiplicación se incluyen directamente en la firma de la aritmética de Peano, y se incluyen axiomas que relacionan las tres operaciones entre sí.

La siguiente lista de axiomas (junto con los axiomas habituales de igualdad), que contiene seis de los siete axiomas de la aritmética de Robinson , es suficiente para este propósito: [26]

Además de esta lista de axiomas numéricos, la aritmética de Peano contiene el esquema de inducción, que consiste en un conjunto de axiomas recursivamente enumerables e incluso decidibles . Para cada fórmula φ ( x , y 1 , ..., y k ) en el lenguaje de la aritmética de Peano, el axioma de inducción de primer orden para φ es la oración

donde es una abreviatura de y 1 ,..., y k . El esquema de inducción de primer orden incluye cada instancia del axioma de inducción de primer orden; es decir, incluye el axioma de inducción para cada fórmula φ .

Axiomatizaciones equivalentes

La axiomatización anterior de la aritmética de Peano utiliza una firma que sólo tiene símbolos para el cero, así como para las operaciones de sucesor, adición y multiplicación. Hay muchas otras axiomatizaciones diferentes, pero equivalentes. Una de esas alternativas [27] utiliza un símbolo de relación de orden en lugar de la operación de sucesor y el lenguaje de semianillos ordenados discretamente (axiomas 1-7 para semianillos, 8-10 sobre el orden, 11-13 sobre la compatibilidad y 14-15 sobre la discreción):

  1. , es decir, la adición es asociativa .
  2. , es decir, la adición es conmutativa .
  3. , es decir, la multiplicación es asociativa.
  4. , es decir, la multiplicación es conmutativa.
  5. , es decir, la multiplicación se distribuye sobre la suma.
  6. , es decir, el cero es una identidad para la adición y un elemento absorbente para la multiplicación (en realidad superfluo [nota 3] ).
  7. , es decir, uno es una identidad para la multiplicación.
  8. , es decir, el operador '<' es transitivo .
  9. , es decir, el operador '<' es irreflexivo .
  10. , es decir, el ordenamiento satisface la tricotomía .
  11. , es decir, el orden se conserva bajo la adición del mismo elemento.
  12. , es decir, el orden se conserva bajo la multiplicación por el mismo elemento positivo.
  13. , es decir, dados dos elementos distintos, el mayor es el menor más otro elemento.
  14. , es decir, el cero y el uno son distintos y no hay ningún elemento entre ellos. En otras palabras, el 0 está cubierto por el 1, lo que sugiere que estos números son discretos.
  15. , es decir, cero es el elemento mínimo.

La teoría definida por estos axiomas se conoce como PA . También es incompleta y una de sus propiedades importantes es que cualquier estructura que satisfaga esta teoría tiene un segmento inicial (ordenado por ) isomorfo a . Los elementos de ese segmento se denominan elementos estándar , mientras que los demás elementos se denominan elementos no estándar .

Finalmente, la aritmética de Peano PA se obtiene añadiendo el esquema de inducción de primer orden.

Indecidibilidad e incompletitud

Según los teoremas de incompletitud de Gödel , la teoría de la AP (si es consistente) es incompleta. En consecuencia, hay enunciados de lógica de primer orden (LPO) que son verdaderos en el modelo estándar de la AP pero no son consecuencia de la axiomatización de la LPO. La incompletitud esencial ya surge para teorías con axiomas más débiles, como la aritmética de Robinson .

Estrechamente relacionado con el resultado de incompletitud anterior (a través del teorema de completitud de Gödel para FOL) se deduce que no hay un algoritmo para decidir si una oración FOL dada es una consecuencia de una axiomatización de primer orden de la aritmética de Peano o no. Por lo tanto, PA es un ejemplo de una teoría indecidible . La indecidibilidad surge ya para las oraciones existenciales de PA , debido a la respuesta negativa al décimo problema de Hilbert , cuya prueba implica que todos los conjuntos computablemente enumerables son conjuntos diofánticos y, por lo tanto, definibles por fórmulas cuantificadas existencialmente (con variables libres) de PA . Las fórmulas de PA con mayor rango de cuantificador (más alternancias de cuantificador) que las fórmulas existenciales son más expresivas y definen conjuntos en los niveles superiores de la jerarquía aritmética .

Modelos no estándar

Aunque los números naturales usuales satisfacen los axiomas de PA, también existen otros modelos (llamados " modelos no estándar "); el teorema de compacidad implica que no se puede excluir la existencia de elementos no estándar en la lógica de primer orden. [28] El teorema de Löwenheim-Skolem ascendente muestra que existen modelos no estándar de PA de todas las cardinalidades infinitas. Este no es el caso de los axiomas de Peano originales (de segundo orden), que tienen solo un modelo, hasta el isomorfismo. [29] Esto ilustra una forma en que el sistema de primer orden PA es más débil que los axiomas de Peano de segundo orden.

Cuando se interpreta como una prueba dentro de una teoría de conjuntos de primer orden , como ZFC , la prueba de categoricidad de Dedekind para PA muestra que cada modelo de teoría de conjuntos tiene un modelo único de los axiomas de Peano, hasta el isomorfismo, que se incorpora como un segmento inicial de todos los demás modelos de PA contenidos dentro de ese modelo de teoría de conjuntos. En el modelo estándar de teoría de conjuntos, este modelo más pequeño de PA es el modelo estándar de PA; sin embargo, en un modelo no estándar de teoría de conjuntos, puede ser un modelo no estándar de PA. Esta situación no se puede evitar con ninguna formalización de primer orden de la teoría de conjuntos.

Es natural preguntar si un modelo no estándar contable puede construirse explícitamente. La respuesta es afirmativa, ya que Skolem en 1933 proporcionó una construcción explícita de dicho modelo no estándar . Por otro lado, el teorema de Tennenbaum , demostrado en 1959, muestra que no existe un modelo no estándar contable de PA en el que la operación de adición o multiplicación sea computable . [30] Este resultado muestra que es difícil ser completamente explícito al describir las operaciones de adición y multiplicación de un modelo no estándar contable de PA. Solo hay un tipo de orden posible de un modelo no estándar contable. Dejando que ω sea el tipo de orden de los números naturales, ζ sea el tipo de orden de los enteros y η sea el tipo de orden de los racionales, el tipo de orden de cualquier modelo no estándar contable de PA es ω + ζ · η , que puede visualizarse como una copia de los números naturales seguida de un ordenamiento lineal denso de copias de los enteros.

Desbordamiento

Un corte en un modelo no estándar M es un subconjunto no vacío C de M de modo que C está cerrado hacia abajo ( x < y y yCxC ) y C está cerrado bajo sucesor. Un corte propio es un corte que es un subconjunto propio de M . Cada modelo no estándar tiene muchos cortes propios, incluido uno que corresponde a los números naturales estándar. Sin embargo, el esquema de inducción en la aritmética de Peano impide que cualquier corte propio sea definible. El lema de desbordamiento, demostrado por primera vez por Abraham Robinson, formaliza este hecho.

Lema de desbordamiento [31]  —  Sea M un modelo no estándar de PA y sea C un corte propio de M . Supongamos que es una tupla de elementos de M y es una fórmula en el lenguaje de la aritmética de modo que

para todo bC .

Entonces hay una c en M que es mayor que cada elemento de C tal que

Véase también

Notas

  1. ^ la pieza de luz más cercana correspondiente a 0, y una pieza vecina correspondiente al sucesor
  2. ^ El conjunto no contiguo satisface el axioma 1 ya que tiene un elemento 0, 2 a 5 ya que no afecta las relaciones de igualdad, 6 y 8 ya que todas las piezas tienen un sucesor, excepto el elemento cero, y el axioma 7 ya que no hay dos dominós que derriben o sean derribados por la misma pieza.
  3. ^ " " se puede demostrar a partir de los otros axiomas (en lógica de primer orden) de la siguiente manera. En primer lugar, por distributividad e identidad aditiva. En segundo lugar, por el axioma 15. Si entonces por adición del mismo elemento y conmutatividad, y por lo tanto por sustitución, contradiciendo la irreflexividad. Por lo tanto debe ser que .

Referencias

Citas

  1. ^ "Peano". Diccionario Webster's Unabridged de Random House .
  2. ^ Grassman 1861.
  3. ^ Wang 1957, pp. 145, 147, "Es bastante conocido, a través del propio reconocimiento de Peano, que Peano [...] hizo un uso extensivo del trabajo de Grassmann en su desarrollo de los axiomas. No es tan conocido que Grassmann tenía esencialmente la caracterización del conjunto de todos los números enteros, ahora habitual en los textos de álgebra moderna, de que forma un dominio integral ordenado en el que cada conjunto de elementos positivos tiene un miembro mínimo. [...] [El libro de Grassmann] fue probablemente el primer intento serio y bastante exitoso de poner los números sobre una base más o menos axiomática".
  4. ^ Peirce 1881.
  5. ^ Escudos 1997.
  6. ^ Van Heijenoort 1967, pág. 94.
  7. ^ Van Heijenoort 1967, pág. 2.
  8. ^ ab Van Heijenoort 1967, pág. 83.
  9. ^ Peano 1889, pág. 1.
  10. ^ Peano 1908, pág. 27.
  11. ^ Matt DeVos, Inducción matemática, Universidad Simon Fraser
  12. ^ Gerardo con Diaz, Inducción matemática Archivado el 2 de mayo de 2013 en Wayback Machine , Universidad de Harvard
  13. Meseguer & Goguen 1986, apartados 2.3 (p. 464) y 4.1 (p. 471).
  14. ^ Para pruebas formales, véase, por ejemplo, Archivo:Pruebas inductivas de propiedades de adición y multiplicación a partir de definiciones recursivas.pdf .
  15. ^ Suppes 1960, Hatcher 2014
  16. ^ Tarski y Givant 1987, sección 7.6.
  17. ^ Fritz 1952, p. 137
    Una ilustración de la "interpretación" es la propia definición de "número cardinal" de Russell. El sistema no interpretado en este caso son los axiomas de Peano para el sistema numérico, cuyas tres ideas primitivas y cinco axiomas, creía Peano, eran suficientes para permitir que uno dedujera todas las propiedades del sistema de números naturales. En realidad, sostiene Russell, los axiomas de Peano definen cualquier progresión de la forma de la cual la serie de los números naturales es un ejemplo.
  18. ^ Gray 2013, p. 133
    Así, Poincaré se dedicó a ver si el logicismo podía generar la aritmética, más precisamente, la aritmética de los ordinales. Couturat, dijo Poincaré, había aceptado los axiomas de Peano como una definición de un número. Pero esto no funciona. No se puede demostrar que los axiomas estén libres de contradicción encontrando ejemplos de ellos, y cualquier intento de demostrar que estaban libres de contradicción examinando la totalidad de sus implicaciones requeriría el mismo principio de inducción matemática que Couturat creía que implicaban. Porque (en un pasaje posterior eliminado de S&M) o bien se asumía el principio para probarlo, lo que solo probaría que si es verdadero no es autocontradictorio, lo que no dice nada; o bien se usaba el principio en otra forma que la enunciada, en cuyo caso se debía demostrar que el número de pasos en el razonamiento de uno era un entero según la nueva definición, pero esto no se podía hacer (1905c, 834).
  19. ^ Hilbert 1902.
  20. ^ Gödel 1931.
  21. ^ Gödel 1958
  22. ^ Gentzen 1936
  23. ^ Villanueva 2001.
  24. ^ Partee, Ter Meulen & Wall 2012, pág. 215.
  25. ^ Harsanyi (1983).
  26. ^ Mendelson 1997, pág. 155.
  27. ^ Kaye 1991, págs. 16-18.
  28. ^ Hermes 1973, VI.4.3, que presenta un teorema de Thoralf Skolem
  29. ^ Hermes 1973, VI.3.1.
  30. ^ Kaye 1991, Sección 11.3.
  31. ^ Kaye 1991, págs. 70 y siguientes.

Fuentes

Lectura adicional

Enlaces externos

Este artículo incorpora material de PA en PlanetMath , que está licenciado bajo la Licencia Creative Commons Atribución/Compartir-Igual .