Discussion:Unicité (mathématiques)
il est écrit :
"Démontrer l'unicité d'un objet vérifiant une certaine propriété P consiste à supposer qu'il n'existe pas deux objets différents vérifiant tous deux P."
à mon sens, "supposer qu'il n'existe pas deux objets" ne permet pas de démontrer quoi que ce soit mais seulement de supposer!!!
Cohérence des définitions ?
[modifier le code]La définition de la première phrase suppose l'existence, le "autrement dit" ne le suppose plus. Il me semble quand même effectivement assez courant d'utiliser unicité quand il y a déjà existence, plutôt que dans le sens "au plus un" qui est celui décrit ensuite, même si, quand on dépmontre existence et unicité, on parle d'unicité pour 'au plsu un", mais c'est sachant que l'on va montrer ensuite l'existence. Proz (discuter) 13 janvier 2016 à 23:17 (CET)