existence theorem

American  

noun

Mathematics.

1. any theorem that asserts the existence of some specified mathematical object.

---

Etymology

Origin of existence theorem

First recorded in 1895–1900

Example Sentences

Their existence theorem is the proof that they are true when the fundamental ideas are considered as denoting some determinate subject matter, so that the axioms are developed into determinate propositions.

From Project Gutenberg

It follows from the logical law of contradiction that the proof of the existence theorem proves also the consistency of the axioms.

From Project Gutenberg