donde "A" no es una fórmula del lenguaje, sino una metavariable que representa a "cualquier" fórmula del lenguaje.