Eliminación de Cuantificadores

Un procedimiento o propiedad de una teoría de primer orden o de un lenguaje formal por la cual toda fórmula que contiene cuantificadores existenciales o universales se transforma en una fórmula equivalente que no contiene cuantificadores, con respecto a la semántica de la teoría.

Una teoría T (o una estructura) tiene eliminación de cuantificadores cuando toda fórmula de primer orden es equivalente, módulo T, a una fórmula sin cuantificadores; equivalentemente, la verdad de cualquier fórmula está determinada por información sin cuantificadores en los modelos de T.

Propiedad de una teoría que afirma que toda fórmula es equivalente en la teoría a una fórmula sin cuantificadores; equivalentemente, los conjuntos definibles pueden describirse sin cuantificadores existeniales o universales en la lengua dada.