Axiomas De Peano

Hay, desde luego una distinción esencial entre nuestra construcción de os cardinales y la de los
ordinales. Los ordinales son conjuntos particulares, específicos, en tanto que los cardinales son
objetos que no podemos clasificar aun como conjuntos o individuos.

A este respecto nuestra posición con respecto al carácter de los cardinales es semejante a la
del matemático laborioso respecto a los números naturales: no está interesado en una
definición explicita de los números naturales en términos de otras entidades conocidas, sino
solamente en conocer sus propiedades matemáticas esenciales. En particular requiere que los
números naturales satisfaga a los cinco axiomas de Peano, los cuales pueden formularse en
lógica elemental, independientes de la teoría de conjuntos. Estos axiomas están basados en
tres símbolos primitivos: el predicado “es un numero natural”, el símbolo de operación unaria
“ ~ “ para la función sucesor (intuitivamente, s(x) = x +1), y la constante individual ‘o’ para el
número cero. Los axiomas de Peano son:

P1. 0 es un número natural.

P2. Si x es un numero natural, entonces s(x) es un numero natural.

P3. No existe ningún numero natural x tal que s(x)= 0.

P4. Si x y y son números naturales y s(x) = s(y), entonces x = y.

P5. 𝑆𝑖

𝜑(0) y, para cualquier numero natural x, si φ(x) entonces

φ(s(x) ), entonces, para todo numero natural x, φ(x).

El Axioma P2 dice que el sucesor de cualquier numero natural es un numero natural.

El axioma P3 dice que cero no es el sucesor de ningún numero natural, o sea que expresa el
hecho intuitivamente obvio de que no hay numero natural x tal que.

X+1 = 0

El Axioma P4 afirma que la función sucesor es 1-1(inyectividad).

El P5 es realmente un esquema axiomático que expresa el principio de inducción para los

números naturales.

Sea n ∈ ℕ un número natural arbitrario. Probar que s(n) ≠ n

Consideremos X = {n ∈ ℕ : s(n) ≠ n }

Es claro que X ⊆ ℕ

1 ∈ X: como ℕ \s(ℕ) = {1} entonces 1 ƒ∈ s(ℕ)

luego para todo n ∈ ℕ se tiene s(n) ƒ= 1 en particular para n = 1, luego se tiene

s(1) ƒ= 1
Considerando n ∈ X entonces s(n) ƒ= n, ahora por ser s una función inyectiva

s(s(n)) ƒ= s(n)

Luego por definición de X, se tiene s(n) ∈ X