Hilbert's second problem

one of twenty-three, asking to prove the consistency of arithmetic axioms