text: Hilbert intendeva dimostrare la coerenza dei sistemi matematici partendo dal presupposto che l’“aritmetica finitaria” (un sottosistema dell’aritmetica usuale dei numeri interi positivi, scelto per non essere controverso dal punto di vista filosofico) fosse coerente.