Al preguntar qu se entiende por conjunto finito, probablemente la respuesta

es aquel cuyos elementos pueden ser contados. Sin embargo, no es un

principio fcil decir cuntos elementos tienen N,Z,Q o R; todos ellos son
conjuntos infinitos, pues se pueden contar sus elementos, y en un primer
anlisis un tanto ingenuo parece que las inclusiones estrictas N Z Q R,
indican que N es el ms pequeo y R el ms grande.
Un conjunto T es numerable o contable cuando entre este conjunto y el
conjunto de todos los nmeros naturales se puede establecer una biyeccin.
De modo que el conjunto T tiene la misma cantidad de elementos que el
conjunto N.
Si N es el conjunto de todos los enteros positivos y D, cualquier conjunto
numerable, existen, de acuerdo con la definicin, mapeos entr N y D. De
estos mapeos, (incidentalmente, infinitamente mucho) sea uno arbitrariamente
denotado por w y sea dn el miembro de D que est relacionado por w con el
entero n (n = 1, 2, 3, ... ); el ndice n de d n es, entonces, la imagen en N (por w)
de dn que es, para abreviar, tambin llamado "el ensimo miembro de D". De
esta manera, todo entero positivo aparece como el ndice de un nico miembro
dn de D y slo estos miembros dn pertenecen a D. De aqu que podamos
escribir a D de la siguiente manera
[dl, d2, d3, ... , dn,]
TEOREMA 1. Cualquier subconjunto, de un conjunto numerable D es o bien
finito o bien numerable.
TEOREMA 2, La- unin de una pluralidad finita- de conjuntos cada, uno de los
cuales es finito o numerable; y uno por lo menos numerable, es un conjunto
numerable.
Un conjunto no numerable es un conjunto que no puede ser enumerado, es
decir, un conjunto tal que no existe una funcin sobreyectiva del conjunto de
los nmeros naturales a dicho conjunto. Es decir, un conjunto A es no
numerable si no existe ninguna funcin f tal que:

f:NA para todo f:sobreyectiva

El argumento diagonal de Cantor es una demostracin sencilla de que existen
conjuntos infinitos que no son numerables.
El argumento de la diagonal de Cantor, tambin conocido como mtodo de la
diagonal, es una argumentacin o demostracin matemtica vislumbrada por
Georg Cantor hacia 1891 para demostrar que el conjunto de los nmeros reales
no es numerable.

Esta demostracin de la imposibilidad de contar o enumerar los nmeros reales

no fue la primera, pero s la ms sencilla y elegante. Posteriormente, esta
demostracin inspir otras demostraciones, conocidas como argumento
diagonal por la analoga con esta demostracin.

Un ejemplo de cmo funciona el argumento diagonal de Cantor para probar la

existencia de un conjunto no numerable. Dada la lista inicial, formada por
nmeros con alguna cifra marcada en rojo, puede probarse que ningn
elemento de la lista coincide con el nmero cuya expresin tiene las cifras
marcadas en azul, ya que dicho nmero difiere de todos y cada uno de los
anteriores.

Referencias.
http://www.instituto127.com.ar/Academicos/Catedras/ProfMate_topologia/Unida
d2_Conjuntosnumerablesynonumerables.pdf
https://es.wikipedia.org/wiki/Conjunto_numerable
https://es.wikipedia.org/wiki/Conjunto_no_numerable
https://es.wikipedia.org/wiki/Argumento_de_la_diagonal_de_Cantor
http://www.memoria.fahce.unlp.edu.ar/art_revistas/pr.1141/pr.1141.pdf