An existence proof is a mathematical demonstration that shows at least one instance of a particular object or condition fulfills a given property, without necessarily constructing the object explicitly. It is often used to establish the possibility of a solution or phenomenon, even if the solution is not practically obtainable or explicitly known.