Existence (mathématiques)

Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.

Pour les articles homonymes, voir Existence (homonymie).

En mathématiques, en logique et en philosophie des mathématiques on parle d'existence :

• en logique mathématique pour le quantificateur existentiel, la construction qui permet, étant donné une propriété mathématique, d'énoncer l'existence d'un objet vérifiant cette propriété ;
• les énoncés ou théorèmes qui affirment l'existence d'un certain objet vérifiant telles propriétés sont appelés théorèmes d'existence ;
• l'existence des objets mathématiques est une question à laquelle mathématiciens et philosophes des mathématiques ont apporté et apportent des réponses différentes, voir par exemple :
  • Jacqueline Boniface, Hilbert et la notion d'existence en mathématiques, Vrin, 2004 (lire en ligne),
  • Jean-Louis Gardies, Du mode d'existence des objets de la mathématique, Vrin, 2004 (lire en ligne).