Esto significa que, para cualquier símbolo variable formula_10, la fórmula formula_11 puede considerarse axioma.