Para comprobar que en efecto el conjunto formula_44 es numerable y por lo tanto tiene el mismo cardinal que los naturales, podemos ver que existe una función inyectiva formula_55.