existence theorem

noun

Mathematics.

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

Word History and Origins

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