Sibawa paimeng, nenniya yanaro bola e dibage teorema de'na purana Gödel yae (secara informal) mattarakang yaro tungkena sistem formal elektif yae engka isina aritmatika pammula, narekko sadda (bettuangna yamaneng teorema yae engka nipitang togeng), de'na lengkap (bettuangna engka teorema yae nabae de'naullei dipabbutti rilaleng sistem yatu).