existence theorem
Mathematics
noun
A theorem which asserts the existence of a particular mathematical object or class of objects that satisfies one or more conditions.
Origin
Late 19th century; earliest use found in Andrew Forsyth (1858–1942), mathematician.