Used attributively (e.g., “existence theorem”, “existence proof”) to modify another noun with the sense ‘relating to, or establishing, existence’.
d'existenceEmploi attributif, notamment en logique et en mathématiques. The mathematician presented an existence proof without constructing an explicit example.
Le mathématicien a présenté une preuve d'existence sans construire d'exemple explicite.