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.