• Deducción natural: este es un sistema creado por Gerhard Gentzen, el cual pretende aproximarse al pensamiento real.