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.
