Math.: The fact that at least one → solution exists for a given → problem.
See also: → exist; → -ence.