Accussì, è di casa pî tiuremi di ncunchiudizza di Gödel (‘n manera nfurmali) ca mprìcanu ca ogni sistema furmali ca cunteni aritmètica basi, si sòninu (voli diri ca tutti li tiuremi s’addimòstranu veri), è pi forza ncunchiuta (signìfica ca cci su’ tiuremi veri ca nun ponnu èssiri pruvati nta ḍḍu sistema).