Yo sólo quería saber lo que está mal en el siguiente argumento:
Decir que me tome un número y volver a escribir como un binario. e.g 155 = 10011011
Entonces me puedo relacionar el número con un subconjunto de N, que contiene los exponentes de la 2, donde 1 es aparecer en forma binaria.
Así
$155 = 2^0 + 2^1 + 2^3 + 2^4 + 2^7 \Rightarrow \{0,1,3,4,7\}$
$64 = 2^6 \Rightarrow \{6\}$
$122 = 2^4 + 2^5 + 2^6 \Rightarrow \{4,5,6\}$
$0 \Rightarrow \{\} $
Ahora ya que cada número binario único de descomposición, y el mapa es un surjection, es un bijection entre el poder conjunto de N y N...