In
mathematics,
Hilbert's second problem was posed by
David Hilbert in 1900 as one of his
23 problems. It asks for a proof that the arithmetic is
consistent – free of any internal contradictions. Hilbert stated that the axioms he considered for arithmetic were the ones given in , which include a second order completeness axiom.