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