“Hilbert voreva mustrar la coerenza di sistèm matemategh partend del presuppost che “l’artimetich finida” (un sottasistèm de la solet aritmetich di interi pusitif, voruu per vèss filosoficament minga contruvers) l’era coerent.”