"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."
Hilbert ikayad ye assəkən ən assahat ən asdiwən maɗinan daɣ atkul ən tuɣalt ""saməndo ""inəmudan (daw-tərtay tin imudan atwəjanen ən maɗinan maqornen,anifrənen ye oɣəl iməgridatən waren amədaš) aqalan assohen.