text: “Hilbert purtò a mustrari la cunzistenza dî sistemi matimàtici partennu di l’assunziuni ca ""l'aritmètica finita"" (‘n suttasistema di l’usuali aritmètica di nùmmari sani e pusitivi, scigghiuti pi essiri filusoficamenti nun cunvenziunali) era cunzistenti”.