A non-constructive proof demonstrates the existence of a mathematical object without providing a specific example or explicit construction of the object. It often relies on indirect methods such as proof by contradiction or the use of the axiom of choice, highlighting the existence of solutions rather than their explicit form.