"Esquema axiomático." Para una fórmula formula_16 en un lenguaje de primer orden formula_9, una variable formula_10 y un término formula_19 sustituible por formula_10 en formula_16, la formula_34 es universalmente válida.