Non-Constructive

Proofs that demonstrate an example exists without actually producing or exhibiting it. Typically uses proof by contradiction or the pigeonhole principle.

See Also

• constructive
• theorem
• existence theorems
• existence statements