En teoría de conjuntos se define al conjunto de los números naturales como el mínimo conjunto que es inductivo.