1. ¿El cero pertenece a los naturales?

El cero, por ser un concepto numérico especial, no se incluía en el conjunto de

los números naturales ℕ, por convenio. Y se representaba como ℕ0,

al conjunto de los números naturales cuando incluye al cero, por ello es posible

encontrar muchos libros donde los autores no consideran al cero como número

natural. De hecho, aún no hay consenso al respecto.

A algunos matemáticos les resulta conveniente tratarlo como a los otros

números naturales, por eso la discrepancia. Desde un punto de vista histórico

el cero aparece tan tarde que algunos no creen que sea justo llamarlo natural.

Antes de que surgieran los números naturales para la representación de

cantidades, las personas usaban otros métodos para contar, utilizando para

ello objetos como piedras, palitos de madera, nudos de cuerdas, o simplemente

los dedos (ver sistema de numeración unario). Más adelante comenzaron a

aparecer los símbolos gráficos como señales para contar, por ejemplo marcas

en una vara o simplemente trazos específicos sobre la arena (véase hueso de

Ishango). Pero fue en Mesopotamia alrededor del año 4000 a. C. donde

aparecen los primeros vestigios de los números que consistieron en grabados

de señales en forma de cuñas sobre pequeños tableros de arcilla empleando

para ello un palito aguzado. De aquí el nombre de escritura cuneiforme. Este

sistema de numeración fue adoptado más tarde, aunque con símbolos gráficos

diferentes, en la Grecia Antigua y en la Antigua Roma. En la Grecia antigua se

empleaban simplemente las letras de su alfabeto, mientras que en la antigua

Roma, además de las letras, se utilizaron algunos símbolos.

Quien colocó al conjunto de los números naturales sobre lo que comenzaba a

ser una base sólida, fue Richard Dedekind en el siglo XIX. Este los derivó de
una serie de postulados (lo que implicaba que la existencia del conjunto de

números naturales se daba por cierta), que después precisó Peano dentro de

una lógica de segundo orden, resultando así los famosos cinco postulados que

llevan su nombre. Frege fue superior a ambos, demostrando la existencia del

sistema de números naturales partiendo de principios más fuertes.

Lamentablemente la teoría de Frege perdió, por así decirlo, su credibilidad, y

hubo que buscar un nuevo método. Fue Zermelo quien demostró la existencia

del conjunto de números naturales, dentro de su teoría de conjuntos y

principalmente mediante el uso del axioma de infinitud, que, con una

modificación de este hecha por Adolf Fraenkel, permite construir el conjunto de

números naturales como ordinales según von Neumann.

Algunas características de los números naturales son:

1. Todo número mayor que 1 (o mayor que 0 en caso de considerar el 0

como natural) va después de otro número natural.

2. Entre dos números naturales siempre hay un número finito de naturales

(interpretación de conjunto no denso).

3. Dado un número natural cualquiera, siempre existe otro natural mayor

que este (interpretación de conjunto infinito).

4. Entre el número natural “a” y su sucesor”a+1” no existe ningún número

natural.

Construcciones axiomáticas
Históricamente, se han realizado propuestas para axiomatizar la noción

habitual de números naturales, de entre las que destacan las de Peano y la

construcción a partir de la teoría de conjuntos.

Axiomas de Peano
 Si n es un número natural, entonces el sucesor de n también es un número

natural.

 El 1 no es el sucesor de ningún número natural.

 Si hay dos números naturales n y m con el mismo sucesor,

entonces n y m son el mismo número natural.

 Si el 1 pertenece a un conjunto de números A, y además siempre se verifica

que: dado un número natural cualquiera que esté en A, su sucesor también

pertenece a A; entonces A contiene al conjunto de todos los números

naturales. Este es el axioma de inducción, que captura la idea de inducción

matemática.

Versión de Bush-Obreanu
Definición en teoría de conjuntos
En teoría de conjuntos se define al conjunto de los números naturales como el

mínimo conjunto que es inductivo. La idea es que se pueda contar haciendo

una biyección desde un número natural hasta el conjunto de objetos que se

quiere contar. Es decir, para dar la definición de número 2, se requiere dar un

ejemplo de un conjunto que contenga precisamente dos elementos. Esta

definición fue proporcionada por Bertrand Russell, y más tarde simplificada

por Von Neumann quien propuso que el candidato para 2 fuera el conjunto que

contiene solo a 1 y a 0.

Formalmente, un conjunto x se dice que es un número natural si cumple

1. Para cada y ∈ x, y ⊆ x
2. La relación ∈x = {(a, b) ∈ x • x | a ∈ b} es un orden total estricto en x
3. Todo subconjunto no vacío de x tiene elementos mínimo y máximo en el
orden ∈x
Se intenta pues, definir un conjunto de números naturales donde cada

elemento respete las convenciones anteriores. Primero se busca un conjunto

que sea el representante del 0, lo cual es fácil ya que sabemos que ∅ no

contiene elementos. Luego se definen los siguientes elementos de una manera

ingeniosa con el uso del concepto de sucesor.

Se define -según Halmos- entonces que el conjunto vacío es un número natural

que se denota por 0 y que cada número natural n tiene un sucesor denotado

como n+. Estas ideas quedan formalizadas mediante las siguientes

expresiones:

0=∅
n+ = n ∪ {n}
Se define la suma por inducción mediante:
a+0=a
a + b+ = (a + b) +
De manera análoga, la multiplicación × se define mediante las expresiones:
a×0=0
a × b+ = (a × b) + a

2. ¿El cero es par o impar?

3. ¿Cuál es la diferencia entre los seres humanos?
4. ¿Qué es la inflexión cósmica?
5. ¿Qué es la teoría de las cuerdas?
6. ¿Qué es el universo?