Quedó pendiente la cuestión, planteada hace un par de semanas, de demostrar que el conjunto de todos los conjuntos finitos de N (siendo N el conjunto de los números naturales, es decir, enteros y positivos) es numerable. La demostración más clara y sencilla se puede encontrar en el excelente libro de Raymond Smullyan Satán, Cantor y el infinito (que no es la primera vez que cito en esta sección ni será la última):
