existence (théorème d').

existence (théorème d'). théorème affirmant l'existence d'un objet mathématique possédant certaines propriétés et énonçant des conditions qui la garantissent. Prenons pour exemple le théorème d'existence des solutions d'une équation différentielle. Généralement, lorsqu'on est assuré de l'existence d'un tel objet, on cherche à mieux préciser l'ensemble des objets qui possèdent exactement les mêmes propriétés : on est alors amené à démontrer soit l'unicité de tels objets soit leur universalité dans un ensemble que l'on cherche à caractériser le plus simplement possible.