La relación de deducibilidad en K (es decir, todo aquello que es deducible en K), queda por lo tanto definida por sus axiomas y sus reglas de inferencia.