Existence Theorems

Theorems that take the form $\exists x,R(x)$, asserting and proving that at least one value satisfying the predicate exists. Can be proven via constructive or non-constructive methods.

See Also

• existence statements
• existential quantification
• constructive
• non-constructive
• theorem