# Category:Nonconstructive Proofs

Jump to navigation
Jump to search

This category contains results about **Nonconstructive Proofs**.

Definitions specific to this category can be found in **Definitions/Nonconstructive Proofs**.

A **nonconstructive 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.

### E

## Pages in category "Nonconstructive Proofs"

This category contains only the following page.