Tujuangnna Hilbert untu' nappittang'i sistem matematika ya matette'e nennia napuang ada Iyyaro "aritmatika finit" (subsistem aritmatika ya mabbiasae pole bilangang positif ya mallebu'e, ripile'i secara filosofis ya dee'e kontroversial) iyyanritu attettekengnna.