No obstante, otras modalidades, tales como justificación o creencia, pueden ser preservadas alternativamente.
A fin de mantener su integridad deductiva, un aparato deductivo debe ser definido sin referencia a ninguna interpretación pretendida del lenguaje.
No debería haber ningún elemento perteneciente a cualquier interpretación del lenguaje encubierto en la naturaleza deductiva del sistema.
La deducción natural es un sistema deductivo que sigue una vía formal y utiliza árboles de derivación.
La deducción natural está formada de varias reglas formales que son utilizadas para construir un determinado árbol de derivación (este sistema deductivo también es conocido como sistema N