Un sistema deductivo caracteriza de un modo satisfactorio la consecuencia lógica cuando nos permite deducir sólo consecuencias lógicas (se dice entonces que el sistema es consistente o correcto, en inglés "sound") y todas las consecuencias lógicas (se dice que es completo, en inglés "complete").