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