El sitema de deducción basado en el lenguaje $L$