Constructivist Proof

Home > Philosophy > Logic > Formal Proof > Constructivist Proof

This type of proof is used when the conclusion is a statement that asserts the existence of a particular object. To prove the statement, the proof has to construct the object that satisfies the property involved.