La eliminación de corte (o en forma equivalente la normalización del cálculo subyacente si es que existe uno) implica la consistencia del cálculo: dado que obviamente no existe prueba de falsedad que sea libre de corte, no existe por lo tanto contradicción en general.