En 1934-1935, Gerhard Gentzen publicó "Investigaciones sobre la inferencia lógica (Untersuchungen über das logische Schliessen)", donde introdujo una alternativa a la construcción axiomática de los sistemas lógicos (incluyendo la lógica de primer orden), conocida como la deducción natural.