O si se considera como consecuencia de un conjunto de fórmulas, Γ: