Category:Definitions/Non-Constructive Proofs

This category contains definitions related to Non-Constructive Proofs.
Related results can be found in Category: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.