Exists
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, QuantifierExplore with Wolfram|Alpha
WolframAlpha
Cite this as:
Weisstein, Eric W. "Exists." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Exists.html