La deducción natural fue inventada por Gerhard Gentzen y Jan Lukasiewicz.