Coscì, pe demostrâ che tutti i scistemi asciòmichi da matematica seggian coerenti comme matëia de fæto, beseugna pe primma cösa suppoñe a coerensa de un scistema matematico ch’o segge ciù fòrte che o scistema za stæto demostrou comme coerente.