Category:Constructive Proofs

From ProofWiki
Jump to navigation Jump to search

This category contains results about Constructive Proofs.
Definitions specific to this category can be found in Definitions/Constructive Proofs.

A constructive proof is a proof in which there exists an effective procedure for the construction of every object in it.

Subcategories

This category has only the following subcategory.