donde formula_14 es un símbolo metalógico que significa que formula_12 es una consecuencia sintáctica de formula_6 y formula_7 en algún sistema lógico.