La regla de tranformacíon formula_40 significa que si toda proposición en es un teorema ( o tiene el mismo valor de verdad que los axiomas ), entonces es también un teorema.