Tai tei ir vīta Gedela napiļneibys teoremom, kas (naformali) nūzeimoj, ka sevkura efektiva formala sistema, kas satur pamata aritmetiku, ka tei ir pamatuota (tys nūzeimoj, ka vysys teoremys, kurys var pīruodeit, ir patīsys), nūteikti ir napiļneiga (tys nūzeimoj, ka pastuov patīsys teoremys, kū itamā sistemā navar pīruodeit).