în logica matematică pentru cuantificatorul existențial , construcția care permite, dată o proprietate matematică, să afirme existența unui obiect care verifică această proprietate;
enunțurile sau teoremele care afirmă existența unui anumit obiect care verifică astfel de proprietăți se numesc teoreme ale existenței .