Professional Documents
Culture Documents
Jorge Perdomo
6 de junio de 2016
Resumen
Una versión libre del tema de los números naturales creados a partir de los cinco axiomas
de Peano tal como lo expone Carlos S. Chinea en su extraordinario artı́culo Introducción a
los Números Naturales mediante los Axiomas de Peano. La clave es la definición del sucesor
de un número natural, a partir de lo cual se definen las operaciones elementales de suma y
multiplicación en N y del concepto de orden. A partir de los axiomas de Peano se logra la
demostración de todas las propiedades básicas relativas a estas operaciones y este concepto.
Finalmente, sobre esta base se presenta una manera de construir el conjunto N.
Palabras Claves: Axiomas de Peano. Suma y Multiplicación. Orden. Número Natural.
Introducción
En este documento se expone una versión libre del tema de los números naturales introducidos
a partir de los cinco axiomas de Peano tal como lo expone Carlos S. Chinea en su extraordinario
artı́culo Introducción a los Números Naturales mediante los Axiomas de Peano. La particulari-
dad de esta versión es que se deja para el final de cada parte el uso de los sı́mbolos + y · para
las operaciones de suma y multiplicación.
Los axiomas de Peano se presentan en el Capı́tulo 1., estudiándose seguidamente algunas con-
secuencias. En los Capı́tulos 2. y 3. se introducen las operaciones de suma y multiplicación de
números naturales y sus propiedades derivadas a partir de los axiomas de Peano. Aparecen ane-
xadas las propiedades de elemento neutro siendo que tales operaciones son leyes de composición
interna en N, y se incluyen además sendas leyes de compatibilidad con la igualdad. El concepto
de orden total y la derivación de sus propiedades se dejan para el Capı́tulos 4. La expresión de
todas la definiciones y teoremas con el uso de los sı́mbolos + y · se hacen, a manera de resumen,
en los subcapı́tulos 2.1, 3.1 y 4.3.
Se deja para el final, Capı́tulo 5., un anexo en el que se expone cómo podrı́a ser la construcción
del conjunto de los números naturales a partir de los axiomas de Peano. Especı́ficamente se hace
a partir de la función sucesor o siguiente y de la definición y propiedades de la suma.
1. Axiomas de Peano
Giuseppe Peano introdujo en 1889 un conjunto de cinco axiomas con los cuales presenta su
definición de los números naturales. Ası́, puede definirse N como un conjunto que verifica las
siguientes condiciones axiomáticas:
0∈N
∃s, s : N → N : ∀n ∈ N, s(n) ∈ N
1
3. El cero no es sucesor de ningún otro elemento de N.
∀n ∈ N, s(n) 6= 0
∀n ∈ N, n 6= s(n)
Demostración
Sea el conjunto de todos los números naturales que son diferentes a su siguiente,
A = {n ∈ N : n 6= s(n)}
Se probará que A = N, es decir, todos los naturales verifican la propiedad que define al con-
junto A.
Por el Axioma 3., el cero no es sucesor de ningún otro elemento de N, ∀n ∈ N, s(n) 6= 0. Como
0 ∈ N por el Axioma 1., se tiene que, s(0) 6= 0. En consecuencia:
0∈A (1)
En consecuencia:
∀n ∈ A, s(n) ∈ A (2)
Por el Axioma 5. se induce que,
(1) y (2) ⇒ A = N
lo que prueba que ∀n ∈ N, n 6= s(n).
Teorema 1.2. .
Si dos aplicaciones de N en N conmutan con la aplicación siguiente y tienen la misma imagen
para el cero, entonces ambas coinciden.
En otros términos, sea Ap(N) = {f | f : N → N}, el conjunto de todas las aplicaciones de N en
N. Entonces,
f ◦s=s◦f
∀f, g ∈ Ap(N) : y f (0) = g(0) ⇒ f (n) = g(n), ∀n ∈ N
g◦s=s◦g
Demostración
Sea el conjunto de todos los naturales cuyas imágenes por las funciones f y g, son iguales,
A = {n ∈ N : f (n) = g(n)}
2
Se probará que A = N, es decir, todos los naturales verifican la propiedad que define al con-
junto A.
Por hipótesis del teorema, f (0) = g(0). En consecuencia:
0∈A (1)
A = {n ∈ N : f (n) = g(n)}
Se probará que A = N, es decir, todos los naturales verifican la propiedad que define al con-
junto A.
Por hipótesis del teorema, f (0) = g(0). En consecuencia:
0∈A (1)
3
2. Suma de Números Naturales
Definición 2.1. .
Se define la suma de números naturales como una aplicación, S : N × N → N, de modo que,
∀(n, m) ∈ N × N, la imagen, S(n, m) ∈ N, verifica:
1. S(0, m) = m
2. S(s(n), m) = s [S(n, m)]
Teorema 2.1. Unicidad de la Suma.
La definición de suma es única, es decir, si S1 y S2 son sumas, entonces S1 = S2 .
Demostración
Se define dos funciones f, g : N → N, a partir de las sumas S1 y S2 , como sigue:
Dado m ∈ N, y para todo n ∈ N,
Se verá que S1 = S2 probando que f = g mediante el recurso del Teorema 1.2 esto es, mostrando
que ambas tienen la misma imagen para el cero y que conmutan con la función siguiente.
En primer lugar, dado m ∈ N cualquiera,
Por tanto,
f (0) = g(0)
Por otra parte, dado m ∈ N cualquiera, se tiene para f que,
Por tanto,
f ◦s=s◦f
Igualmente para la función g,
Por tanto,
g◦s=s◦g
Por el Teorema 1.2 se concluye que f (n) = g(n), ∀n ∈ N. O sea,
Demostración
Se define el conjunto de todos los números a ∈ N que verifican la propiedad asociativa:
4
Si se demuestra que A = N la propiedad queda probada, lo cual requiere del Axioma 5. de Peano,
esto es, probar que 0 ∈ A y que ∀a ∈ A, s(a) ∈ A.
En primer lugar, aplicando la primera condición de la definición de suma se tendrá que,
De manera que,
0∈A (1)
Por otra parte,
∀a ∈ A, S [S(a, b), c] = S [a, S(b, c)] ⇒ s {S [S(a, b), c]} = s {S [a, S(b, c)]} Por ser s una función
⇒ S [s [S(a, b)] , c] = S [s(a), S(b, c)] Por definición de S
⇒ S [S [s(a), b] , c] = S [s(a), S(b, c)] Por definición de S
Por tanto,
∀a ∈ A, s(a) ∈ A (2)
Por el Axioma 5. se induce que,
(1) y (2) ⇒ A = N
con lo cual queda probado el cumplimiento de la propiedad asociativa para la suma en N.
Teorema 2.3. Propiedad Conmutativa.
∀a ∈ N, S(0, a) = S(a, 0)
Se define el conjunto de todos los números naturales que conmutan con el cero:
y ha de probarse que A = N.
Para evitar la trivialidad, sean a = b = 0 explı́citamente, para sustituir su valor cero convenien-
temente,
0∈A (1)
∀a ∈ A, s(a) ∈ A (2)
5
lo que prueba esta primera parte del teorema.
Se define el conjunto de todos los números naturales que conmutan con el siguiente de cero:
y ha de probarse que A = N.
Por una parte,
S [s(0), 0] = s [S(0, 0)] Por definición de S
= s(0) Por ser S(0, n) = n para n = 0
= S [0, s(0)] Por ser S(0, n) = n para n = s(0)
0∈A (1)
∀a ∈ A, s(a) ∈ A (2)
Se define el conjunto de todos los números naturales que conmutan con cualquier otro número
natural:
A = {a ∈ N : S(a, b) = S(b, a), ∀b ∈ N}
y hay que probar que A = N.
Por una parte, por la primera parte, se cumple que, S(0, b) = S(b, 0), ∀b ∈ N.
Por tanto,
0∈A (1)
Por otro lado, como ∀a ∈ A, S(a, b) = S(b, a), ∀b ∈ N, se tiene que,
6
Por tanto, ∀a ∈ A, S [s(a), b] = S [b, s(a)], lo que significa que,
∀a ∈ A, s(a) ∈ A (2)
S(n, 0) = S(0, n) = n
que es la expresión del 0 como elemento neutro de la operación S, tratada como ley de compo-
sición interna en N.
Teorema 2.5. Ley de Cancelación.
Por tanto, ∀n ∈ A, [S(a, s(n)) = S(b, s(n))] ⇒ [a = b], lo que significa que,
∀n ∈ A, s(n) ∈ A (2)
7
Teorema 2.6. Ley de Compatibilidad con la Igualdad.
Por tanto, ∀n ∈ A, [a = b] ⇒ [S(a, s(n)) = S(b, s(n))], para todo a, b ∈ N, lo que significa que,
∀n ∈ A, s(n) ∈ A (2)
S(n, m) = n + m
Con esta notación, las condiciones de la definición de la suma de dos números naturales quedan
de la forma,
1. 0 + m = m
2. s(n) + m = s(n + m)
Los teoremas mostrados hasta ahora, son los siguientes:
∀a, b, c ∈ N, (a + b) + c = a + (b + c)
∀a, b ∈ N, a + b = b + a
8
Teorema 2.3 Elemento Neutro.
∀a ∈ N, a + 0 = 0 + a = a
∀a, b, n ∈ N, a + n = b + n ⇒ a = b
Teorema 2.6 Ley de Compatibilidad con la Igualdad.
∀a, b, n ∈ N, a = b ⇒ a + n = b + n
Por tanto,
f (0) = g(0)
Por otra parte, dado m ∈ N cualquiera y para todo n ∈ N, se tiene para f que,
(f ◦ s)(n) = f (s(n)) Por definición de ◦
= P1 (s(n), m) Por definición de f
= S [P1 (n, m), m] Por definición de P
= ρ [P1 (n, m)] Por definición de ρ
= ρ(f (n)) Por definición de f
= (ρ ◦ f )(n) Por definición de ◦
Por tanto,
f ◦s=ρ◦f
Igualmente para la función g,
(g ◦ s)(n) = g(s(n)) Por definición de ◦
= P2 (s(n), m) Por definición de g
= S [P2 (n, m), m] Por definición de P
= ρ [P2 (n, m)] Por definición de ρ
= ρ(g(n)) Por definición de g
= (ρ ◦ g)(n) Por definición de ◦
9
Por tanto,
g◦s=ρ◦g
Por el Teorema 1.3 se concluye que f (n) = g(n), ∀n ∈ N. O sea,
Demostración
Considérese el conjunto de los números naturales que verifican la propiedad distributiva de la
multiplicación respecto de la suma:
∀a ∈ A, P [s(a), S(b, c)] = S [P [a, S(b, c)] , S(b, c)] Por definición de P
= S {S [P (a, b), P (a, c)] , S(b, c)} Ya que a ∈ A
= S {P (a, b), S [P (a, c), S(b, c)]} Por Teorema 2.2
= S {P (a, b), S [S(b, c), P (a, c)]} Por Teorema 2.3
= S {P (a, b), S [b, S(c, P (a, c)]} Por Teorema 2.2
= S {P (a, b), S [b, S(P (a, c), c]} Por Teorema 2.3
= S {S [P (a, b), b] , S [(P (a, c), c]} Por Teorema 2.2
= S [P (s(a), b), P (s(a), c)] Por definición de P
Por tanto, P [s(a), S(b, c)] = S [P (s(a), b), P (s(a), c)]. Es decir,
∀a ∈ A, s(a) ∈ A (2)
Demostración
La demostración de esta propiedad se realizará por etapas.
∀a ∈ N, P (0, a) = P (a, 0)
Se define el conjunto de todos los números naturales que conmutan con el cero:
10
y se probará que A = N.
Para evitar la trivialidad, considérese a = b = 0 explı́citamente, sustituyendo su valor cero
convenientemente,
0∈A (1)
∀a ∈ A, s(a) ∈ A (2)
Se define el conjunto de todos los números naturales que conmutan con el siguiente de cero:
y ha de probarse que A = N.
Por un lado, P [s(0), 0] = P [0, s(0)], de acuerdo con la primera parte de este teorema. Por tanto,
0∈A (1)
∀a ∈ A, s(a) ∈ A (2)
11
Tercera Parte Propiedad Conmutativa.
Se define el conjunto de todos los números naturales que conmutan con cualquier otro número
natural:
A = {a ∈ N : P (a, b) = P (b, a), ∀b ∈ N}
y se debe probar que A = N.
Por una parte, por la primera parte del Teorema 3.3, se cumple que, P (0, b) = P (b, 0), ∀b ∈ N.
Por tanto,
0∈A (1)
Por otro lado,
∀a ∈ A, s(a) ∈ A (2)
que es la expresión de s(0) como elemento neutro de la operación P , tratada como ley de
composición interna en N.
Teorema 3.5. Propiedad Asociativa.
Demostración:
Se define el conjunto de todos los números a ∈ N que verifican la propiedad asociativa:
12
En primer lugar, aplicando la primera condición de la definición de multiplicación se tiene que,
De manera que,
0∈A (1)
Por otra parte,
∀a ∈ A, P [s(a), P (b, c)] = S [P [a, P (b, c)] , P (b, c)] Por definición de P
= S [P [P (a, b), c] , P (b, c)] Ya que a ∈ A
= S [P [c, P (a, b)] , P (c, b)] Por Teorema 3.3
= P [c, S(P (a, b), b)] Por Teorema 3.2
= P [c, P (s(a), b)] Por definición de P
= P [P (s(a), b), c] Por Teorema 3.3
∀a ∈ A, s(a) ∈ A (2)
Demostración
Se define el conjunto de todos los números naturales que verifican la ley de cancelación:
0∈A (1)
∀n ∈ A, s(n) ∈ A (2)
Demostración
Se define el conjunto de todos los números naturales que verifican la ley de compatibilidad con
la igualdad:
13
y ha de probarse que A = N.
Por un lado se tiene, aún siendo a 6= b, que para n = 0,
∀n ∈ A, s(n) ∈ A (2)
P (n, m) = n · m
o simplemente,
P (n, m) = n m
Con esta notación, y la notación usual de la suma, las condiciones de la definición de la multi-
plicación de dos números naturales quedan de la forma,
1. 0 m = 0
2. s(n) m = n m + m
Las propiedades se resumen como sigue:
∀a, b, c ∈ N, a(b + c) = a b + a c
Teorema 3.3 Propiedad Conmutativa.
∀a, b ∈ N, a b = b a
∀a ∈ N, a s(0) = s(0) a = a
14
Teorema 3.5 Propiedad Asociativa.
∀a, b, n ∈ N, n a = n b ⇒ (a = b o n = 0)
Teorema 3.7 Ley de Compatibilidad con la Igualdad.
∀a, b, n ∈ N, (a = b o n = 0) ⇒ a n = b n
4. Orden en N
Teorema 4.1. .
Todo número natural distinto del cero es el siguiente de otro número natural.
∀n ∈ N, n 6= 0, ∃m ∈ N : s(m) = n
Demostración:
Considérese el conjunto de los números naturales que son siguientes de otro número natural,
además del cero,
A = {n ∈ N : n = 0 o ∃m ∈ N : s(m) = n}
Se verá que A = N
En primer lugar, por construcción de A,
0∈A (1)
Por tanto,
[∀n ∈ A, ∃s(m) : s(s(m)) = s(n)] ⇒ s(n) ∈ A
O sea,
∀n ∈ A, s(n) ∈ A (2)
Por el Axioma 5. se induce que,
(1) y (2) ⇒ A = N
lo que prueba el teorema.
Definición 4.1. .
Se define la relación menor o igual que, que se simboliza ≤, del modo siguiente:
∀a, b ∈ N, a ≤ b ⇔ ∃q ∈ N : S(a, q) = b
Teorema 4.2. .
La relación menor o igual que es una relación de orden.
Demostración
Debe mostrarse que esta relación es reflexiva, antisimétrica y transitiva.
Reflexiva:
En efecto, por definición de S: ∀a ∈ N, ∃0 ∈ N : a = S(0, a) = S(a, 0).
Por tanto, S(a, 0) = a. Entonces,
a≤a
Antisimétrica:
Debe probarse que,
∀a, b ∈ N, a ≤ b y b ≤ a ⇒ a = b
15
Sean a, b ∈ N tales que, a ≤ b y b ≤ a. Por definición de ≤ se tiene lo siguiente,
a≤b ⇒ ∃p ∈ N : S(a, p) = b
b≤a ⇒ ∃q ∈ N : S(b, q) = a
Entonces,
Además, por ser 0 neutro para la suma, tenemos también para b que,
b = S(0, b) = S(b, 0)
Transitiva:
Hay que probar que,
∀a, b, c ∈ N, a ≤ b y b ≤ c ⇒ a ≤ c
Sean a, b, c ∈ N tales que, a ≤ b y b ≤ c. Por definición de ≤ se tiene que,
a≤b ⇒ ∃p ∈ N : S(a, p) = b
b≤c ⇒ ∃q ∈ N : S(b, q) = c
Entonces,
Ahora, como (q, p) ∈ N × N, existe m ∈ N tal que m = S(q, p). Por tanto,
∃m ∈ N : c = S(a, m)
∀a, b ∈ N, a ≥ b ⇔ b ≤ a
16
Corolario 4.1. .
Para estas relaciones de desigualdad se cumplen los siguientes:
4.1.1. La relación mayor o igual que es una relación de orden.
Demostración
La relación ≥ se define a partir de la relación ≤, la cual es de orden. En consecuencia, hereda
las propiedades de esta última y, por tanto, será igualmente relación de orden.
∀a ∈ N, a < a ⇔ ∃q 6= 0 : S(a, q) = a
a = S(0, a) = S(a, 0)
S(a, q) = S(a, 0) ⇒ q = 0
∀a ∈ N, a < s(a)
Demostración
Hay que probar que a ≤ s(a) y que a 6= s(a),
En primer lugar se tiene que,
Entonces,
∀a ∈ N, ∃s(0) ∈ N : s(a) = S [a, s(0)] ⇒ a ≤ s(a)
Por otra parte, por el Teorema 1.1 ningún número natural coincide con su siguiente,
∀a ∈ N, a 6= s(a)
Por tanto,
∀a ∈ N, a ≤ s(a) y a 6= s(a) ⇒ a < s(a)
17
Corolario 4.3. .
El cero es menor estrictamente que cualquier otro número natural:
∀n ∈ N, n 6= 0, 0 < n
Demostración
Sea un n ∈ N, n 6= 0. Entonces, por el Teorema 1.1, ∃m ∈ N : s(m) = n.
Se pueden presentar dos situaciones: que m = 0, o que, m 6= 0. En lo que sigue se usará reite-
radamente el Corolario 4.2, según el cual, todo número natural es estrictamente menor que su
siguiente, o sea, ∀n ∈ N, n < s(n).
Si m = 0, entonces, 0 < s(0) = n. Por tanto, 0 < n.
Si m 6= 0, entonces, ∃p ∈ N : s(p) = m, pudiendo ser, p = 0 o p 6= 0.
Si p = 0, entonces, 0 < s(0) = m. Por tanto, 0 < m < s(m) = n. Y se tendrı́a que,
Y ası́, se podrı́a continuar el proceso, con lo que aplicando la propiedad transitiva, se encuentra
siempre que:
∀n ∈ N, n 6= 0, 0 < n
Teorema 4.3. Propiedad de Tricotomı́a.
Se verifica la alternativa siguiente:
Demostración
Se fija un elemento cualquiera a ∈ N y se definen los tres conjuntos que establecen la tricotomı́a:
A1 ∩ A2 = A1 ∩ A3 = ∅
Además, si se escribe,
A2 = {0} = {b ∈ N : b = 0}
A3 = {b ∈ N : b > 0} = {b ∈ N : b =
6 0}
Entonces,
A2 ∩ A3 = {b ∈ N : b = 0 y b 6= 0} = ∅
por contradicción en el argumento.
18
Se verá ahora que A = N.
Por un lado, por construcción, 0 ∈ A2 .
Por tanto,
0∈A (1)
Por otra parte, también por construcción, ∀b ∈ N : b 6= 0 ⇒ b ∈ A3 . Además, por el Corolario
4.2, b < s(b). Luego, por transitividad, s(b) > 0. Por consiguiente, s(b) ∈ A3 , lo que implica que,
∀b ∈ N, s(b) ∈ A (2)
∃p ∈ N, p 6= 0 : S(b, p) = a
b ∈ A2
En este caso, b = a. Por tanto,
19
b ∈ A3
En este caso, b > a. Por tanto,
∀b ∈ A, s(b) ∈ A (2)
A1 ∩ A2 = {b ∈ N : b < a y b = a} = ∅
A2 ∩ A3 = {b ∈ N : b = a y b > a} = ∅
A1 ∩ A3 = {b ∈ N : b < a y b > a} = ∅
ya que,
∀q ∈ N, q ∈ A1 ∩ A3 ⇒ q ∈ A1 y q ∈ A3 Por definición de ∩
⇒ q<aya<q Por definición de A1 y A3
⇒ q<q Por transitividad
lo cual es contradictorio con la igualdad ya que siendo, q = q, el resultado, q < q, implica por
definición que, q 6= q.
Teorema 4.4. .
Dado un n ∈ N, n 6= 0, se cumple que,
∀a ∈ N, a < S(n, a)
Demostración
En primer lugar, para n = 0 se tendrá que, a < S(0, a) = a, lo que no es válido ya que,
a ≮ a, ∀a ∈ N.
Sin embargo, para n 6= 0 se tendrá que, a < S(n, a) ⇔ ∃q ∈ N, q 6= 0 : S(n, a) = S(a, q).
Efectivamente, puede verse por simple conmutatividad que,
S(n, a) = S(a, n) ⇒ q = n
∀a ∈ N, a 6= 0, a < P (n, a)
Demostración
En primer lugar, para n = 0 se tendrı́a que, a < P (0, a) = 0, lo que no es válido ya que,
a ≮ 0, ∀a ∈ N.
También ocurre que para n = s(0), serı́a, a < P (s(0), a) = a, lo que no es válido ya que,
20
a ≮ a, ∀a ∈ N.
Por otra parte, si a = 0, serı́a, 0 < P (n, 0) = P (0, n) = 0, que tampoco es cierto ya que, 0 ≮ 0.
Sin embargo, si a = s(0), entonces, s(0) < P (n, s(0)) = n, es decir, s(0) < n, lo cual sı́ es cierto
ya que n 6= 0 y n 6= s(0).
Sea entonces a 6= 0. Por el Teorema 4.1, ∀n ∈ N, n 6= 0, ∃m ∈ N : n = s(m). Si además n 6= s(0),
entonces, m 6= 0. Con esto se muestra que, a < P (n, a) ⇔ ∃q ∈ N, q 6= 0 : P (n, a) = S(a, q). En
efecto,
P (n, a) = P (s(m), a) = S(P (m, a), a) = S(a, P (m, a)) ⇒ q = P (m, a)
donde P (m, a) 6= 0, ya que m 6= 0 y a 6= 0. Por consiguiente, q 6= 0 y esto prueba el teorema.
∀a, b ∈ N, a ≤ b ⇔ ∃q ∈ N : S(a, q) = b
⇔ ∃q ∈ N, q 6= 0 o q = 0 : S(a, q) = b
⇔ {∃q ∈ N, q 6= 0 : S(a, q) = b} o {∃q ∈ N, q = 0 : S(a, q) = b}
⇔ [a < b] o [a = b]
∀a, b ∈ N, [a ≤ b] ⇔ [a < b] o [a = b]
∀a, b ∈ N, [a ≥ b] ⇔ [a > b] o [a = b]
Teorema 4.6. .
21
Teorema 4.7. .
Debe observarse que para p = 0, ∀a, b ∈ N, P (a, 0) = P (0, a) = 0 = P (0, b) = P (b, 0). Por tanto,
la igualdad se cumple aunque a 6= b. Por eso se exige que p 6= 0.
Nos queda probar que,
Igualmente obsérvese que para p = 0, ∀a, b ∈ N, P (a, 0) = P (0, a) = 0 = P (0, b) = P (b, 0). Por
tanto, la igualdad se cumple aunque a 6= b. Por eso se considera que p 6= 0.
Queda por probar que,
22
Teorema 4.10. .
S(a, p) < S(b, p) ⇒ ∃q ∈ N, q 6= 0 : S [S(a, p), q)] = S(b, p) Por definición de <
⇒ S [S(a, q), p] = S(b, p) Por Teoremas 2.2 y 2.3
⇒ S(a, p) = b Por Teorema 2.5
⇒ a<b Por definición de <
Teorema 4.11. .
Obsérvese también que para p = 0, ∀a, b ∈ N, P (a, 0) = P (0, a) = 0 = P (0, b) = P (b, 0). Por
tanto, la igualdad se cumple aunque a 6= b. Por eso se exige que p 6= 0.
Es posible concluir la demostración basados en la ley de tricotomı́a y en la inferencia lógica del
contrarecı́proco, esta es: (u ⇒ v) ⇔ (∼ v ⇒∼ u).
Se tiene que ∀a, b ∈ N, a 6= b, a ≮ b ⇔ b > a. Por tanto,
∀a, b ∈ N, a < b ⇒ P (a, p) < P (b, p), ∀p ∈ N, p 6= 0 ⇔
⇔ ∀a, b ∈ N, P (a, p) ≮ P (b, p) ⇒ a ≮ b, ∀p ∈ N, p 6= 0 ⇔
⇔ ∀a, b ∈ N, P (a, p) > P (b, p) ⇒ a > b, ∀p ∈ N, p 6= 0 ⇔
⇔ ∀a, b ∈ N, P (b, p) < P (a, p) ⇒ b < a, ∀p ∈ N, p 6= 0
que es lo mismo que se querı́a demostrar con sólo intercambiar a y b.
Teorema 4.12. .
23
Teorema 4.13. .
∀a ∈ N a≤a
∀a, b ∈ N a≤byb≤a ⇒ a=b
∀a, b ∈ N a≤byb≤c ⇒ b≤c
Definiciones 4.2
∀a, b ∈ N a ≥ b ⇔ b ≤ a
∀a, b ∈ N a < b ⇔ ∃q ∈ N, q 6= 0 : a + q = b
∀a, b ∈ N a > b ⇔ b < a
Corolarios 4.1
∀a, b ∈ N a≥a
a≥by b≥a ⇒ a=b
a≥by b≥c ⇒ b≥c
∀a, b ∈ N a≮a
a<by b<a ⇒ a=b
a<by b<c ⇒ b<c
∀a, b ∈ N a≯a
a>by b>a ⇒ a=b
a>by b>c ⇒ b>c
Corolario 4.2
∀a ∈ N, a < s(a)
Corolario 4.3
∀n ∈ N, 0 < n
Teoremas 4.3 Tricotomı́a y Orden Total
24
Teorema 4.5
Dado n ∈ N, n 6= 0, n 6= s(0) : ∀a ∈ N, a < n a
Teorema 4.6
∀a, b ∈ N, a ≤ b ⇒ a + p ≤ b + p, ∀p ∈ N
Teorema 4.7
∀a, b ∈ N, a ≤ b ⇒ a p ≤ b p, ∀p ∈ N, p 6= 0
Teorema 4.8
∀a, b ∈ N, a ≥ b ⇒ a + p ≥ b + p, ∀p ∈ N
Teorema 4.9
∀a, b ∈ N, a ≥ b ⇒ a p ≥ b p, ∀p ∈ N, p 6= 0
Teorema 4.10
∀a, b ∈ N, a + p ≤ b + p ⇒ a ≤ b, ∀p ∈ N
Teorema 4.11
∀a, b ∈ N, a p ≤ b p ⇒ a ≤ b, ∀p ∈ N, p 6= 0
Teorema 4.12
∀a, b ∈ N, a + p ≥ b + p ⇒ a ≥ b, ∀p ∈ N
Teorema 4.13
∀a, b ∈ N, a p ≥ b p ⇒ a ≥ b, ∀p ∈ N, p 6= 0
N = {0, 1, · · · , n, · · · }
Por otra parte, siguiendo la visión ordinal o axiomática, se parte del cero, 0, y se define el 1
como el siguiente de cero, y se le denomina uno,
1 = s(0)
25
Se establece ahora que cualquier número natural se obtiene sumando 1 al elemento que le ante-
cede. Si m = s(n), entonces,
Referencias
[1] Carlos S. Chinea.
Introducción de los Números Naturales mediante los Axiomas de Peano.
casanchi.com/mat/naturales01.pdf
26