existence theorem


noun Mathematics.

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

Origin of existence theorem

First recorded in 1895–1900