Propiedad de Existencia

Una propiedad metateorética constructiva que afirma que si un sistema demuestra una afirmación existencial ∃x φ(x), entonces existe un término concreto t en el lenguaje tal que el sistema demuestra φ(t); las pruebas de existencia proporcionan así testigos explícitos.