Hilberta mierkis beja paruodeit matematiskūs sistemu konsistenci, bolstūtīs iz pījāmumu, ka ”finitaruo aritmetika” (parostuos pozitivu vasalu skaitļu aritmetikys apakšsistema, kas izvālāta kai filozofiski naapstreidama) ir konsekventa.