Existenz-Eigenschaft

Eine konstruktive metatheoretische Eigenschaft, die besagt, dass, wenn ein System eine Existenzbehauptung ∃x φ(x) beweist, es ein konkretes Term t in der Sprache gibt, so dass das System φ(t) beweist; Existenzbeweise liefern demnach explizite Zeugen.