Interpolación Uniforme

Un fortalecimiento de la interpolación que exige que, para cada fórmula φ y cada sublenguaje elegido (conjunto de símbolos no lógicos) Σ, exista una fórmula ψ que use sólo símbolos de Σ y que capture exactamente las consecuencias en Σ de φ; ψ es uniforme en el sentido de que funciona para todas las deducciones de φ hacia fórmulas en el sublenguaje.