Un cálculo es consistente si toda fórmula que se deriva en el cálculo es una verdad lógica.