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, où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P s'exprime par une formule du calcul des prédicats. Wikipedia