En 1934, Gentzen introduce la noción de sistema de deducción natural para lógica clásica y lógica intuicionista.