Cuando formula_9 es una consecuencia deductiva de formula_40 en un sistema deductivo S se suele escribir "formula_44  en S".