El ejemplo más elemental es el de los números naturales, que se definen rigurosamente así: