Category:Examples of Non-Constructive Proofs

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Non-Constructive Proof.

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.

Pages in category "Examples of Non-Constructive Proofs"

This category contains only the following page.