En 1928, David Hilbert y Wilhelm Ackermann demostraron la consistencia de la lógica de primer orden.