An existence theorem is a type of mathematical theorem that asserts the existence of a solution to a given problem or equation, without necessarily providing a method to find it. These theorems are fundamental in various fields of mathematics, as they ensure that solutions are possible, guiding further exploration and problem-solving efforts.