Category:Non-Constructive Proofs
Jump to navigation
Jump to search
This category contains results about Non-Constructive Proofs.
Definitions specific to this category can be found in Definitions/Non-Constructive Proofs.
A non-constructive proof is a proof in which there does not exist an effective procedure for the construction of every object in it.
That is, such that it requires an infinite number of steps to complete.
Subcategories
This category has only the following subcategory.