constructive proof
method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object
construction of the real numbers
any constructive definition of the real numbers
method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object