Existence
= Existence
{title2=$\exists$}
A solution exists when at least one object satisfies all the stated conditions. In <first-order logic>, this is expressed by <existential quantification>. <Uniqueness> additionally requires that any two solutions are equal.