En mathématiques et en logique, plus précisément en calcul des prédicats  l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃ désigne le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P.