¿Que enuncia?
Cuando una fórmula está cuantificada universalmente, la variable cuantificada puede ser sustituida por cualquier término y el cuantificador se puede eliminar:
Donde t es un término cualquiera (una constante o una variable, según convenga).
Es decir, si algo (A) puede decirse de todo el dominio (∀x A(x)), entonces puede decirse de cualquiera de sus elementos (A(t), donde t es un término cualquiera). Si se quiere decir de un elemento conocido o de un elemento al que se da un nombre, sustituiremos la variable cuantificada universalmente por la constante que designa este elemento (por ejemplo, A(b)). Si se quiere decir de un elemento cualquiera sin precisar más, la sustituiremos por una variable cualquiera (por ejemplo, A(u)).