An existential sentence is a statement claiming the existence of an object with given properties. In the language of set theory it can be formulated as follows,
where
is the universal set and is a given set contained in it. In other words, it states
that set
is nonempty.