Argument de la Diagonale de Cantor

Une méthode de preuve constructive qui, à partir d'une liste supposée d'objets d'un certain type, construit un nouvel objet en modifiant la n-ième caractéristique du n-ième objet listé de sorte que le nouvel objet ne figure pas sur la liste.