“Hilbert mirava a mostràr ła coerensa de i sistemi matematici a partìr da l’asunsion che “l’aritmetica finitaria” (un sotosistema de ła consueta aritmetica de i numari intièri poxitivi, sièlta par eser fiłoxoficamente incontestabiłe) gèra coerente.