Hilbert manyasahi gasan manampaiakan konsistensi di sistem matematis dari parkiraan bahwa ilmu hisab nang tabatas (subsistem ilmu hisab nang biasa dari bilangan bulat positif, dibilih gasan jadi sistem nang kada kontroversial sacara filosofis) tu konsisten.