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.