Veremos dos formas de codificar objetos matematicos con numeros. En la primera codificaremos las palabras de un alfabeto finito \(\Sigma\) para el cual tenemos un orden total dado. La segunda codificara ciertas infinituplas de elementos de \(\omega\) con numeros naturales.