L’è la sede di teuremi d’incumpleteza de Gödel che (de manera infurmal) fan sì ch’el sistema furmal g’ha l’artimetica de bas, se el son (si tüt i teuremi che pœden ser dimustrà sun ver), l’è per forza incumpleto (se g’he sun di teuremi che non pœden ser dimustrà in quel sistema).