Hilbert kuri ohechaukase umi sistema matemático pyrũ atãngue supuesto he'íva "aritmética finitaria" (peteĩ subsistema aritmética número entero positivo jepiegua rehegua, ojeiporavóva oĩ hag̃ua filosóficamente incontrovertible) opytũ hatãha.