##  [Diagonalisation de Cantor](/fr/node/59188) 

  ##  [Diagonalisation de Cantor](https://natural.quantumdictionary.io/fr/node/59189) 

  

 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)



**Natural & Formal Sciences Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Une méthode constructive qui, à partir d'une liste supposée (une suite) d'objets représentés par des entrées indexées, produit un nouvel objet en modifiant les éléments diagonaux de sorte que le nouvel objet diffère de chaque objet listé ; utilisée couramment pour prouver l'indénombrabilité des ensembles et exhiber des objets non capturés par une énumération effective.