S’obietivu de Hilbert fiat su de dimustrare sa coerèntzia de sos sistemas matemàticos moende dae s’assuntu chi sa "aritmetica finitària" (unu sutasistema de s’aritmetica usuale de sos nùmeros intreos positivos, seberadu pro èssere cuntrastadu dae su puntu de bista filosòficu) fiat coerente.