En lógica, con el fin de estudiar la validez de los argumentos y la noción de consecuencia lógica, los lógicos construyen sistemas formales, los cuales consisten en un lenguaje formal junto con un aparato deductivo.