¿Qué enuncia?
Las variables libres de una fórmula se puede cuantificar existencialmente. Las constantes de una fórmula pueden sustituirse por una variable cuantificada existencialmente:
Donde t es un término cualquiera (si se trata de una variable, debe ser libre).
Puede entenderse de la forma siguiente: si algo (A) puede decirse de t (A(t)), entonces existe un elemento del dominio del cual puede decirse A (∃x A(x)).