Proposición 3.1
Para cada
n>0 la potencia cartesiana
![$I\!\!N^n$](img107.gif)
es numerable, y lo es también el conjunto
![$I\!\!N^*$](img121.gif)
consistente de las secuencias de números naturales. Más aún cada uno de estos conjuntos posee una enumeración efectivamente calculable con inversa también efectivamente calculable.