Hilbert neukeumeng ipeueu konsistensi sistem matematik dari asumsi bahwa "aritmatika sistem" (subsistem aritmatika biasa dari bilangan bulat positif, ipileh secara filosofis h’an kontroversial) ialah konsisten.