## [Argumento Diagonal de Cantor](/es/node/61244) Definición 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. ## Principio Principio Modificar coordenada por coordenada a lo largo de la diagonal para garantizar una diferencia en cada índice, produciendo un elemento que escapa a cualquier enumeración contable propuesta. ## Demostración Demostración Para demostrar que los reales en [0,1] son no contables, suponga una lista de expansiones decimales; forme un nuevo decimal cuyo dígito n difiera del dígito n del n-ésimo número listado (evitando 9 para prevenir ambigüedades de representación), produciendo un real que no está en la lista. ## Aplicación incorrecta Aplicación incorrecta No atender a representaciones no únicas (por ejemplo 0,4999...=0,5000...) o alterar dígitos de modo que se obtenga un elemento ya listado; aplicar el método sin garantizar que el objeto construido pertenezca al mismo dominio. ## Consecuencia Consecuencia Establece resultados de no contabilidad, prueba la existencia de objetos fuera de cualquier familia contable y sostiene técnicas diagonales en computabilidad y lógica, produciendo jerarquías y fenómenos de incompletitud. ## Inversión Inversión Si un conjunto puede enumerarse, la construcción diagonal no puede producir un elemento verdaderamente nuevo: así, la diagonalización certifica la no enumerabilidad por contradicción; invertir supuestos (listas variables o indexación distinta) puede invalidar la conclusión. ## Límite Límite Aplica cuando los objetos admiten una secuencia contable de coordenadas o rasgos (secuencias, funciones, expansiones decimales); no se aplica directamente a dominios sin descripción coordenada canónica o cuando las representaciones son altamente no únicas sin precaución. ## Tensión semántica Tensión semántica Relacionado con la diagonalización en computabilidad y con argumentos combinatorios en matrices; existe tensión entre el uso puramente set-theórico para demostrar no contabilidad y la diagonalización algorítmica constructiva para demostrar indecidibilidad. ## Síntesis Síntesis El argumento diagonal de Cantor modifica sistemáticamente las entradas diagonales para construir un elemento que difiere en cada coordenada de una lista dada, proporcionando un método robusto para demostrar la no enumerabilidad y generar contraejemplos en teoría de conjuntos, análisis y computabilidad.