If there exists an A, this is written  exists A. Similarly, "A does not exist" is written  notexists A.  exists is one of the two mathematical objects known as quantifiers.

The Wolfram Language expression Exists[x, expr] can be used to represent the statement that there exists a value of x for which expr is true.

See also

Existence, For All, Implies, Quantifier

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W. "Exists." From MathWorld--A Wolfram Web Resource.

Subject classifications