Teorema: el conjunto de todas las secuencias de longitud finita de números naturales es contable.