La idea principal es reemplazar los símbolos de una cierta teoría por expresiones de otra teoría de forma que los axiomas de la primera se traduzcan en teoremas de la otra.