'''Texto en negrita'''== 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 nnnnnjohan es fgiapoqueque es inductivo. La idea es que se pueda contar haciendo una [[Función biyectiva|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 <math>x</math> se dice que es un ''número natural'' si cumple
