“Hilbert al à cirût di mostrâ la coerence dai sistemis matematics partint da ipotesi che la “aritmetiche finitarie” (un sot-sistemi da solite aritmetiche dai integrai positîfs, inconfutabil in maniere filosofiche) e fos coerente.””