Argumento Diagonal de Cantor

Un método de prueba constructivo que, dada cualquier lista supuesta de objetos de cierto tipo, construye un nuevo objeto modificando la n-ésima característica del n-ésimo objeto listado de modo que el objeto construido no pueda estar en la lista.