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.
Portail de la logique 
Portail de la philosophie 
Portail des mathématiques
Pour les articles homonymes, voir Existence (homonymie).
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.