KnowraConstructive proofLinked fromLinked fromThe 15 pages that link to Constructive proof, each with the reason it gives.All 15Broader topic 2Related 5Compared with 8Mathematical proofRelated: It gives more than existence when the argument supplies a witness.Proof by contradictionCompared with: Contradiction can establish existence without exhibiting a witness.Curry–Howard correspondenceRelated: Under the correspondence, such evidence is represented by a program inhabiting a type.IntuitionismRelated: Intuitionistic proofs must provide constructions rather than merely rule out counterexamples.Existential quantificationCompared with: Constructive existence proofs supply a witness rather than only ruling out impossibility.TheoremRelated: For existence theorems, it can show exactly how to produce the required object.Constructive mathematicsBroader topic: This is the central proof style through which constructive mathematics establishes existence.Computer-assisted proofCompared with: A computer-assisted existence proof may verify cases without yielding a simple construction.Probabilistic methodCompared with: A probabilistic existence proof may guarantee a witness without specifying how to produce it.L. E. J. BrouwerRelated: Brouwer’s intuitionism requires existence proofs to provide constructions.Conditional proofCompared with: It emphasizes exhibiting an object, unlike conditional proof’s assumption-and-derivation structure.Existence theoremCompared with: It proves existence by supplying the construction an existence theorem need not provide.ConstructivismBroader topic: It is the proof form that directly satisfies constructivism’s demand for mathematical witnesses.Combinatorial principlesCompared with: Counting arguments can prove existence without constructing a specific example.Friends and strangers theoremCompared with: The theorem guarantees a suitable trio without requiring a preselected trio to be exhibited.