Comente tale, est sede de sos teoremas de s’incumpridesa de Gödel chi (in manera no formale) ìmplicat chi calesisiat sistema formale eficatze chi cuntenet aritmètica bàsica, si su sonu (in su sentidu chi totu sos teoremas chi podent èssere dimustradu sunt beros), est netezessariamente incumpridu (in su sentidu chi b’at teoremas beros chi no podent èssere dimustrados in cussu sistema).