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, exists x element U such that x element A, where U is the universal set and A is a given set contained in it. In other words, it states that set A is nonempty.