Diagonalización de Cantor

Un método constructivo que, dada una presunta lista (secuencia) de objetos representados por entradas indexadas, produce un nuevo objeto alterando las entradas diagonales de modo que el nuevo objeto difiere de cada objeto listado; se usa comúnmente para demostrar la no numerabilidad de conjuntos y para exhibir objetos no capturados por ninguna enumeración efectiva.