Existence (mathématiques)
# Existence (mathématiques)

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.
