In
mathematics, a
constructive proof is a method of
proof that demonstrates the existence of a
mathematical object by creating or providing a method for creating the object. This is in contrast to a
non-constructive proof (also known as an
existence proof or
pure existence theorem) which proves the existence of a particular kind of object without providing an example.