existence proof
Mathematics
noun
A proof establishing the existence of a mathematical entity.
- An existence proof can be constructive, in which case the existence of the entity in question is explicitly demonstrated, or non-constructive, in which case its existence is inferred as a consequence of other mathematical statements which are known to be true..
Origin
Late 19th century. Perhaps after German Existenzbeweis.