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 ∃xP(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.