Cuando una fórmula "A" se sigue deductivamente de un conjunto de hipótesis "H"...,"H", en un sistema de axiomas y reglas de inferencia S, escribimos: