Math: A theorem that asserts the existence of at least one object, such as the → solution to a → problem or → equation.
See also: → existence; → theorem.
