In logic, the second problem on David Hilbert's list of open problems presented in 1900 was to prove that the axioms of arithmetic are consistent.
En lóxica, o segundo problema da lista de problemas abertos de David Hilbert, era probar que os axiomas da aritmética son consistentes.