En el año 1928 Hilbert y Ackermann publican un libro sobre la lógica de primer orden, proporcionando un conjunto de reglas para la realización de las deducciones lógicas.