Existence (mathématiques)
page d'homonymie de Wikimedia / De Wikipedia, l'encyclopédie encyclopedia
Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.
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.
Pour les articles homonymes, voir Existence (homonymie).