One of the main goals of Hilbert's program was a finitistic proof of the consistency of the axioms of arithmetic: that is his second problem.
Ένας από τους κύριους στόχους του προγράμματος του Χίλμπερτ ήταν μία απειροστική απόδειξη της συνέπειας των αξιωμάτων της αριθμητικής : αυτό ήταν το δεύτερο του πρόβλημα.