Por supuesto, esta definición nos sirve sólo para los números naturales definidos previamente.