Existence Property

A constructive metatheoretic property asserting that if a system proves an existential statement ∃x φ(x) then there exists a concrete term t in the language such that the system proves φ(t); proofs of existence therefore provide explicit witnesses.