El objetivo de Hilbert era demostrar la consistencia de los sistemas matemáticos partiendo de la premisa de que la "aritmética finitaria" (un subsistema de la aritmética común de enteros positivos, elegido para ser filosóficamente libre de controversias) era consistente.