¿es Q enumerable?

Uno de los problemas de la semana 1, ya discutidas las ideas de la equipotencia entre N y Z, así como entre otros conjuntos que estudiamos (lo cual rompió con algunos malentendidos al respecto y además nos sumergieron en la compleja reflexión sobre el infinito), es precisamente la equipotencia entre N y Q!! Es decir, aún cuando ciertas ideas o preconcepciones nos lleven a pensar lo contrario... N y Q tienen la misma cantidad de elementos!!
En nuestra semana 1 algunos grupos de trabajo tuvieron ideas interesantes... aunque solo debían resolver unos detalles...
Una sugerencia adicional puede ser la siguiente.
Considere la definición alternativa:

Definición (Alternativa): Un conjunto A es enumerable si y solo si todos sus elementos se pueden poner en una lista infinita, es decir,

si A = {a0, a1, a2, . . .}

en otras palabras, si existe una sucesión infinita

(a0, a1, a2, . . . , an, an+1, . . .)

tal que todos los elementos de A aparecen en la sucesión una única vez cada uno. Observe que si tal sucesión existe, entonces es fácil establecer la biyección entre N y Q:

f(n) = an.

Entonces, pensando en esta definición alternativa pudieran tratar de listar todos los racionales sin que haya repeticiones... este reto es para todos!! Pueden dejar sus comentarios!