1

Número Natural según Peano

EL NUMERO NATURAL

1- INTRODUCCION

El concepto de número natural fue considerado durante muchos siglos como algo tan sólido y tan
simple que no necesitaba ser analizado, pero en la segunda mitad del siglo XIX el análisis de los
fundamentos de la matemática también va a alcanzar a la aritmética. Dos hechos fundamentales
van a contribuir a esto: la actualización del método axiomático de Euclides que será seguido por
Dedekind y por Peano, quienes fundamentaran axiomáticamente el numero natural
considerándolo como concepto primitivo y la Teoría de Conjuntos seguido por Fregue y por Russell
quienes fundamentaran el numero natural considerándolo como una propiedad común de ciertos
conjuntos.

Se mostrara a continuación estas dos maneras de fundamentar el número natural.

2- EL SISTEMA AXIOMATICO DE PEANO

Parte de:

a) Tres conceptos primitivos:

a1) Un conjunto: N cuyos elementos se llaman “números naturales”

a2) Un objeto matemático: 0 llamado “cero”

a3) Una relación: sg llamada “siguiente de”

b) Cinco axiomas:

b1) 0 ∈ 𝑁: cero es un número natural

b2) 𝑎 ∈ 𝑁 → (𝑠𝑔 𝑎) ∈ 𝑁 : si a pertenece a N, su siguiente pertenece a N.

b3) 𝑎 ∈ 𝑁 → 𝑠𝑔 𝑎 ≠ 0: el siguiente de un número es distinto de cero o también: cero no es

siguiente de ningún número.

B4) 𝑠𝑔 𝑎 = 𝑠𝑔 𝑏 → 𝑎 = 𝑏: Dos números que tienen el mismo siguiente son iguales. Ello equivale a
decir que el siguiente de un número es único.

B5) (𝐴 ∁ 𝑁, 0 ∈ 𝐴 → 𝑠𝑔 𝑎 ∈ 𝐴) → 𝐴 = 𝑁.

Si A es un conjunto de números naturales tal que:

0∈𝐴
y 𝑎 ∈ 𝐴 implica 𝑠𝑔 𝑎 ∈ 𝐴,

entonces todos los números naturales pertenecen a A, es decir:

A=N

Este axioma se lo llama axioma de recurrencia o de inducción completa.

 2
Número Natural según Peano

Adición

𝐸𝑥𝑖𝑠𝑡𝑒 𝑒𝑛 𝑁 𝑢𝑛𝑎 𝑜𝑝𝑒𝑟𝑎𝑐𝑖𝑜𝑛 𝑏𝑖𝑛𝑎𝑟𝑖𝑎 𝑖𝑛𝑡𝑒𝑟𝑛𝑎 𝑙𝑙𝑎𝑚𝑎𝑑𝑎 𝑎𝑑𝑖𝑐𝑖𝑜𝑛 𝑦 𝑑𝑒𝑛𝑜𝑡𝑎𝑑𝑎

𝑐𝑜𝑛 "+", 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑎, 𝑏 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒𝑠 𝑎 𝑁 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒:
1) 𝑎 + 0 = 𝑎
2) 𝑎 + 𝑠𝑔 𝑏 = 𝑠𝑔(𝑎 + 𝑏)

𝑎 + 𝑏 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎 𝑠𝑢𝑚𝑎 𝑑𝑒 𝑎 𝑦 𝑏
Teorema: existencia de la suma

∀𝑎 ∈ 𝑁, ∀𝑏 ∈ 𝑁 ∶ (𝑎 + 𝑏) ∈ 𝑁
Se demuestra haciendo uso del axioma de inducción completa.

Teorema: unicidad de la suma

∀𝑎 ∈ 𝑁, ∀𝑏 ∈ 𝑁 ∶ (𝑎 + 𝑏)𝑒𝑠 ú𝑛𝑖𝑐𝑜
Se demuestra haciendo uso del axioma de inducción completa.

Probada la existencia y unicidad de la suma se pasa al estudio de la propiedad asociativa,

conmutativa, existencia de elemento neutro, y propiedad cancelativa. A modo de ejemplo se
demuestra la propiedad asociativa haciendo uso del Axioma de inducción completa.

∀𝑎 ∈ 𝑁, ∀𝑏 ∈ 𝑁, ∀𝑐 ∈ 𝑁: (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐)
Multiplicación

𝐸𝑥𝑖𝑠𝑡𝑒 𝑒𝑛 𝑁 𝑢𝑛𝑎 𝑜𝑝𝑒𝑟𝑎𝑐𝑖𝑜𝑛 𝑏𝑖𝑛𝑎𝑟𝑖𝑎 𝑖𝑛𝑡𝑒𝑟𝑛𝑎 𝑙𝑙𝑎𝑚𝑎𝑑𝑎 𝑚𝑢𝑙𝑡𝑖𝑝𝑙𝑖𝑐𝑎𝑐𝑖𝑜𝑛 𝑦

𝑑𝑒𝑛𝑜𝑡𝑎𝑑𝑎 𝑐𝑜𝑛 " . ", 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑎, 𝑏 𝑝𝑒𝑟𝑡𝑒𝑛𝑒𝑐𝑖𝑒𝑛𝑡𝑒𝑠 𝑎 𝑁 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒:
1) 𝑎 . 0 = 0
2) 𝑎 . 𝑠𝑔 𝑏 = 𝑎 . 𝑏 + 𝑎

𝑎 . 𝑏, 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑑𝑒 𝑎 𝑦 𝑏
Teorema: Existencia del producto.

∀𝑎 ∈ 𝑁, ∀𝑏 ∈ 𝑁 ∶ (𝑎 . 𝑏) ∈ 𝑁
Se demuestra haciendo uso del Axioma de inducción completa.

Haciendo uso del Axioma de inducción completa también se demuestra la unicidad del producto.
 3
Número Natural según Peano

Probada la existencia y unicidad del producto se pasa al estudio de las propiedades distributivas de
la multiplicación a la izquierda y a la derecha, con respecto a la adición, asociativa, conmutativa,
existencia de elemento neutro, y cancelativa.

A modo de ejemplo se demuestra la propiedad distributiva a la izquierda haciendo uso del Axioma
de inducción completa.

∀𝑎, 𝑏, 𝑐, ∈ 𝑁 𝑎 (𝑏 + 𝑐) + 𝑐 = 𝑎 . 𝑏 + 𝑎 . 𝑐
El orden en N

𝐷𝑎𝑑𝑜𝑠 𝑑𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑎 𝑦 𝑏 𝑠𝑒 𝑑𝑖𝑐𝑒 𝑞𝑢𝑒 𝑎 𝑒𝑠 𝑚𝑒𝑛𝑜𝑟 𝑜 𝑖𝑔𝑢𝑎𝑙 𝑞𝑢𝑒

𝑏, 𝑦 𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑎 ≤ 𝑏, 𝑜 𝑞𝑢𝑒 𝑏 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑜 𝑖𝑔𝑢𝑎𝑙 𝑞𝑢𝑒 𝑎 𝑦 𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛

"≥", 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑏 = 𝑎 + 𝑐 𝑠𝑖𝑒𝑛𝑑𝑜 𝑐 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙.

Mediante esta definición se estructura el conjunto N según una relación de orden amplio. En
efecto, puede probarse que la relación es reflexiva, anti simétrica y transitiva. Probaremos esta
última propiedad, es decir:

∀𝑎 ∈ 𝑁, ∀𝑏 ∈ 𝑁, ∀𝑐 ∈ 𝑁: 𝑎 ≤ 𝑏 𝑦 𝑏 ≤ 𝑐 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑎 ≤ 𝑐

En efecto: 𝑎 ≤ 𝑏 𝑝𝑜𝑟 𝑑𝑒𝑓𝑖𝑛𝑖𝑐𝑖𝑜𝑛 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑏 =𝑎+𝑚

𝑏 ≤ 𝑐 𝑝𝑜𝑟 𝑑𝑒𝑓𝑖𝑛𝑖𝑐𝑖𝑜𝑛 𝑖𝑚𝑝𝑙𝑖𝑐𝑎 𝑐 =𝑏+𝑛

𝑟𝑒𝑒𝑚𝑝𝑙𝑎𝑧𝑎𝑛𝑑𝑜 𝑏 𝑟𝑒𝑠𝑢𝑙𝑡𝑎: 𝑐 = (𝑎 + 𝑚) + 𝑛
𝑑𝑒 𝑑𝑜𝑛𝑑𝑒: 𝑐 = 𝑎 + (𝑚 + 𝑛)
𝑑𝑒 𝑑𝑜𝑛𝑑𝑒 𝑝𝑜𝑟 𝑑𝑒𝑓𝑖𝑛𝑖𝑐𝑖𝑜𝑛 𝑑𝑒 " ≤ " 𝑎≤𝑐

Sustracción y división

Se definen luego estas operaciones como operaciones inversas de la adición y de la multiplicación

respectivamente.

Sustracción:

𝐷𝑎𝑑𝑜𝑠 𝑑𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑎 𝑦 𝑏, 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎 𝑑𝑖𝑓𝑒𝑟𝑒𝑛𝑐𝑖𝑎 𝑒𝑛𝑡𝑟𝑒 𝑎 𝑦 𝑏, 𝑦 𝑠𝑒

𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 𝑎 − 𝑏, 𝑎𝑙 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙 𝑐, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 = 𝑏 + 𝑐

De la definición resulta que la condición de existencia de la diferencia es 𝑎 ≥ 𝑏

 4
Número Natural según Peano

División:

𝐷𝑎𝑑𝑜𝑠 𝑑𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑎 𝑦 𝑏 ≠ 0, 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎 𝑐𝑜𝑐𝑖𝑒𝑛𝑡𝑒 𝑒𝑛𝑡𝑟𝑒 𝑎 𝑦 𝑏, 𝑦

𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 𝑎 ∶ 𝑏, 𝑎𝑙 𝑛ú𝑚𝑒𝑟𝑜 𝑛𝑎𝑡𝑢𝑟𝑎𝑙 𝑐, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 = 𝑏 . 𝑐

De la definición resulta que la condición de existencia del cociente es que el dividendo sea
múltiplo del divisor.

Antes de concluir con la axiomática de Peano es oportuno observar lo siguiente: de acuerdo con
nuestro sistema de numeración, el sg 0 se llama uno y se denota con “1”, el sg 1 se llama dos y se
denota con “2”, etc., ahora bien como 𝑎 + 𝑠𝑔 𝑏 = 𝑠𝑔(𝑎 + 𝑏), si se hace b=0 se tiene:

: 𝑎 + 𝑠𝑔 0 = 𝑠𝑔 (𝑎 + 0)
𝑑𝑒 𝑑𝑜𝑛𝑑𝑒 ∶𝑎+1 = 𝑠𝑔(𝑎 + 0)
𝑦 𝑝𝑜𝑟 𝑙𝑜 𝑡𝑎𝑛𝑡𝑜 ∶ 𝑠𝑔 𝑎 =𝑎+1

lo que nos dice que la relación “siguiente”, significa sumar 1.En otras palabras: el siguiente de un
número se obtiene sumándole 1 a ese número.

Por otra parte, como de acuerdo con el axioma b2 , a cada número natural le corresponde un único
número que es su siguiente, resulta que la relación “siguiente” es una función en N.

Asimismo, como un número natural no puede ser siguiente de dos números distintos (Axioma b4 ),
dicha función es inyectiva.

3- EL NUMERO NATURAL A PARTIR DE LA TEORIA DE CONJUNTOS

En otra unidad ya fue definida la relación de coordinabilidad. Esta relación es de equivalencia y por
lo tanto determina una partición en el conjunto. Cada clase de esta partición está formada por
todos los conjuntos que son coordinables entre sí.

𝐷𝑎𝑑𝑜 𝑢𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝐴 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎 𝑛ú𝑚𝑒𝑟𝑜 𝑐𝑎𝑟𝑑𝑖𝑛𝑎𝑙 𝑑𝑒 𝑑𝑖𝑐ℎ𝑜 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜, 𝑦 𝑠𝑒

𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 #, 𝑎 𝑙𝑎 𝑐𝑙𝑎𝑠𝑒 𝑑𝑒 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑞𝑢𝑒 𝑠𝑜𝑛 𝑐𝑜𝑜𝑟𝑑𝑖𝑛𝑎𝑏𝑙𝑒𝑠
𝑐𝑜𝑛 𝐴 (𝐷𝑒𝑓𝑖𝑛𝑖𝑐𝑖ó𝑛 𝑑𝑒 𝐹𝑟𝑒𝑔𝑢𝑒).

Es decir

#𝐴 = {𝑋/𝑋~𝐴}
Como el conjunto vacío es único, resulta que este conjunto sólo es coordinable consigo mismo.
 5
Número Natural según Peano

Es decir, la clase de los conjuntos coordinables con el conjunto vacío es unitaria.

Por lo tanto:

𝑆𝑒 𝑙𝑙𝑎𝑚𝑎 𝑐𝑒𝑟𝑜 𝑦 𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 "0" 𝑎𝑙 𝑛ú𝑚𝑒𝑟𝑜 𝑐𝑎𝑟𝑑𝑖𝑛𝑎𝑙 𝑑𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜

𝑣𝑎𝑐𝑖𝑜.

#∅ = 0

𝐷𝑎𝑑𝑜 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 {0} 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎 𝑛ú𝑚𝑒𝑟𝑜 𝑐𝑎𝑟𝑑𝑖𝑛𝑎𝑙 "uno" 𝑑𝑒 𝑑𝑖𝑐ℎ𝑜

𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜, 𝑦 𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 "1", 𝑎 𝑙𝑎 𝑐𝑙𝑎𝑠𝑒 𝑑𝑒 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑞𝑢𝑒 𝑠𝑜𝑛
𝑐𝑜𝑜𝑟𝑑𝑖𝑛𝑎𝑏𝑙𝑒𝑠 𝑐𝑜𝑛 {0}.

#{0} = 1 = {𝑋/𝑋~{0}}

𝐷𝑎𝑑𝑜 𝑒𝑙 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 {0 , 1} 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎 𝑛ú𝑚𝑒𝑟𝑜 𝑐𝑎𝑟𝑑𝑖𝑛𝑎𝑙 "dos" 𝑑𝑒 𝑑𝑖𝑐ℎ𝑜

𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜, 𝑦 𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 "2", 𝑎 𝑙𝑎 𝑐𝑙𝑎𝑠𝑒 𝑑𝑒 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜𝑠 𝑞𝑢𝑒 𝑠𝑜𝑛
𝑐𝑜𝑜𝑟𝑑𝑖𝑛𝑎𝑏𝑙𝑒𝑠 𝑐𝑜𝑛 {0 , 1}.

#{0 , 1} = 2 = {𝑋/𝑋~{0 , 1}}

A partir de la definición de número cardinal, se construye la aritmética de los números naturales,

definiendo:

a) la igualdad de números cardinales

b) dos operaciones fundamentales: adición y multiplicación
c) una relación de orden

a) Igualdad

𝐷𝑎𝑑𝑜𝑠 𝑑𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑎 𝑦 𝑏, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 = #𝐴 𝑦 𝑏 = #𝐵, 𝑠𝑒 𝑑𝑖𝑐𝑒

𝑞𝑢𝑒 𝑎 𝑦 𝑏 𝑠𝑜𝑛 𝑖𝑔𝑢𝑎𝑙𝑒𝑠 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝐴 𝑦 𝐵 𝑠𝑜𝑛 𝑐𝑜𝑜𝑟𝑑𝑖𝑛𝑎𝑏𝑙𝑒𝑠.
 6
Número Natural según Peano

𝑎 = #𝐴,
𝑆𝑖 { } 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎 = 𝑏 ↔ 𝐴~𝐵
𝑏 = #𝐵,

b) Operaciones
Adición

𝐷𝑎𝑑𝑜𝑠 𝑑𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑎 𝑦 𝑏, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 = #𝐴 𝑦 𝑏 = #𝐵, 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎

𝑠𝑢𝑚𝑎 𝑑𝑒 𝑎 𝑦 𝑏, 𝑦 𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 𝑎 + 𝑏, 𝑎𝑙 𝑐𝑎𝑟𝑑𝑖𝑛𝑎𝑙 𝑑𝑒 𝐴 ∪ 𝐵, 𝑠𝑖𝑒𝑛𝑑𝑜
𝐴∩𝐵 =∅

𝑎 = #𝐴,
𝐴∩𝐵 =∅
𝑆𝑖 {𝑏 = #𝐵,} 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎 + 𝑏 = 𝑐 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 { }
𝑐 = #(𝐴 ∪ 𝐵)
𝑐 = #𝐶

Multiplicación

𝐷𝑎𝑑𝑜𝑠 𝑑𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑎 𝑦 𝑏, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 = #𝐴 𝑦 𝑏 = #𝐵, 𝑠𝑒 𝑙𝑙𝑎𝑚𝑎

𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜 𝑑𝑒 𝑎 𝑦 𝑏, 𝑦 𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 𝑎 . 𝑏, 𝑎𝑙 𝑐𝑎𝑟𝑑𝑖𝑛𝑎𝑙 𝑑𝑒𝑙 𝑝𝑟𝑜𝑑𝑢𝑐𝑡𝑜
𝑐𝑎𝑟𝑡𝑒𝑠𝑖𝑎𝑛𝑜 𝐴 . 𝐵

𝑎 = #𝐴,
𝑆𝑖 {𝑏 = #𝐵,} 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎 . 𝑏 = 𝑐 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝑐 = #(𝐴 . 𝐵)
𝑐 = #𝐶

c) Relación de orden

𝐷𝑎𝑑𝑜𝑠 𝑑𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑛𝑎𝑡𝑢𝑟𝑎𝑙𝑒𝑠 𝑎 𝑦 𝑏, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 = #𝐴 𝑦 𝑏 = #𝐵, 𝑠𝑒 𝑑𝑖𝑐𝑒

𝑞𝑢𝑒 𝑎 𝑒𝑠 𝑚𝑒𝑛𝑜𝑟 𝑞𝑢𝑒, 𝑦 𝑠𝑒 𝑑𝑒𝑛𝑜𝑡𝑎 𝑐𝑜𝑛 𝑎 < 𝑏, 𝑜 𝑞𝑢𝑒 𝑏 𝑒𝑠 𝑚𝑎𝑦𝑜𝑟 𝑞𝑢𝑒 𝑎
(𝑏 > 𝑎), 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝐴 𝑒𝑠 𝑐𝑜𝑜𝑟𝑑𝑖𝑛𝑎𝑏𝑙𝑒 𝑐𝑜𝑛 𝑢𝑛𝑎 𝑝𝑎𝑟𝑡𝑒 𝑝𝑟𝑜𝑝𝑖𝑎 𝑑𝑒 𝐵.

𝑎 = #𝐴,
𝑆𝑖 {𝑏 = #𝐵,} 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑎 < 𝑏 𝑠𝑖 𝑦 𝑠𝑜𝑙𝑜 𝑠𝑖 𝐴~𝐶
𝑐 = #𝐶
 7
Número Natural según Peano

4- NÚMEROS TRANSFINITOS

La definición de número cardinal de Fregue se aplica no solo a los conjuntos finitos (cuyos números
cardinales son los números naturales) sino también a conjuntos infinitos.

El numero cardinal de un conjunto infinito se llama número transfinito.

El menor número transfinito es el número cardinal del conjunto 𝑁, que se denomina aleph sub cero
(𝑁)0 .

Ello significa que todo conjunto que es coordinable con 𝑁 tiene por numero cardinal a (𝑁)0 .

𝑈𝑛 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝐴 𝑒𝑠 𝑛𝑢𝑚𝑒𝑟𝑎𝑏𝑙𝑒 𝑠𝑖 𝑡𝑖𝑒𝑛𝑒 𝑐𝑜𝑚𝑜 𝑛ú𝑚𝑒𝑟𝑜 𝑐𝑎𝑟𝑑𝑖𝑛𝑎𝑙 𝑎 𝑁0

5- NUMEROS Y NUMERALES

El numero cardinal de un conjunto se denota con un símbolo elegido convencionalmente.

Así, si 𝐴 = {𝑎, 𝑏, 𝑐, 𝑑, 𝑒} de acuerdo con el sistema de numeración decimal, se tiene que:

#𝐴 = 5
En el sistema de numeración romana es:

#𝐴 = 𝑉
Si utilizáramos el antiguo sistema de numeración babilónico, escribiríamos:

#𝐴 = VV VVV
La propiedad “cinco” que tiene el conjunto A y todos los que son coordinables con él es el numero
natural cinco. Los símbolos que convenimos en adoptar para denotar esa propiedad constituyen
los numerales de dicho número.

Sistemas de numeración

Puesto que el conjunto de los números naturales es infinito se debe crear un sistema de
numeración estableciendo un conjunto finito de reglas que permitan simbolizar cualquier número
natural.
Base de un sistema de numeración

El principio fundamental de todo sistema de numeración, y que ha sido utilizado desde la más
remota antigüedad, es el de agrupamiento, es decir: formar con los elementos de un conjunto
dado, conjuntos que tengan un determinado número de elementos (base del sistema), luego con
los conjuntos obtenidos formar otros que tengan ese mismo número de elementos (los elementos
son ahora los conjuntos obtenidos) y así siguiendo hasta obtener un conjunto cuyo número de
elementos sea menor que el número que se ha tomado como base.