Relativización de formulas y consistencia

El presente artículo tiene como fin mostrar que el problema de la consistencia de una sentencia, relativamente a la consistencia de otro conjunto de sentencias, puede resolverse en muchos casos mediante un procedimiento puramente sintáctico, aceptado universalmente, independiente de modelos e interp...