Una manera de mostrar que un conjunto es incontable es dar un argumento diagonal. Suponemos que el conjuntoA 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 conjuntoA en cuestión es contable, y utilizamos una enumeración hipotética para definir un elemento delA 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 todosA después de todo, y hemos demostrado que ninguna enumeración deA puede existir.
