Upévare, ojehechauka hag̃uaoimehaichagua sistema axiomático matemática-pegua añetehápe opyrũ hatãha, katu oñeikotevẽha ojejapyhy peteĩ sistema de matemática pyrũ hatãngue, peteĩ hendáicha, imbareteveha pe sitema ojehechaukátava opyrũ hatãha rovake.