Hilbert matetujon antuk nujuang konsistensi sistem matematika saking asumsi indik aritmatika finit (subsistem aritmatika sané ketah saking wilangan bulat positif, kapilih dados nénten kontroversial secara filosofis) inggih punika konsisten.
Hilbert aimed to show the consistency of mathematical systems from the assumption that the "finitary arithmetic" (a subsystem of the usual arithmetic of the positive integers, chosen to be philosophically uncontroversial) was consistent.