Hilbert manyasahi gasan manampaiakan konsistensi di sistem matematis dari parkira'an 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.