## You are here

Homeexistential theorem

## Primary tabs

# existential theorem

An *existential theorem* is a theorem which states that a certain mathematical object or property exists.

In general, there are two ways to prove an existential theorem. The most convincing method is a constructive proof, and another common method is an existential proof. The reason that a constructive proof is most convincing is that, after reading such a proof, readers can actually get their hands on the mathematical object or property in question. In some cases, however, constructing the mathematical object or property is difficult, if not impossible. In this case, an existential proof may be the only feasible method for proving an existential theorem. An example of this is the primitive element theorem.

Related:

TechniquesInMathematicalProofs

Synonym:

existence theorem

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

03F07*no label found*00A35

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections