i matematisk logik for den eksistentielle kvantificering , konstruktionen, der tillader, givet en matematisk egenskab, at angive eksistensen af et objekt, der verificerer denne egenskab;
udsagn eller sætninger, der bekræfter eksistensen af et bestemt objekt, der verificerer sådanne egenskaber, kaldes eksistenssætninger .