Una manera de mostrar que un conjunto es incontable es dar un argumento diagonal. Suponemos que el conjunto\(A\) en cuestión es contable, y utilizamos una enumeración hipotética para definir un elemen...Una manera de mostrar que un conjunto es incontable es dar un argumento diagonal. Suponemos que el conjunto\(A\) en cuestión es contable, y utilizamos una enumeración hipotética para definir un elemento del\(A\) cual, por la misma manera que lo definimos, se garantiza que sea diferente de cada elemento de la enumeración. Entonces la enumeración no puede ser una enumeración de todos\(A\) después de todo, y hemos demostrado que ninguna enumeración de\(A\) puede existir.
