text: "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."