Veremos dos formas de codificar objetos matemáticos con números. En la primera codificaremos con elementos de \(\omega\) a 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 números naturales.