“Hilbert wou de consistensie vaan wiskundige systeme aontoene op basis vaan de aonname det de ‘eindige rekenkunde’ (‘n subsysteem vaan de gebrukelikke rekenkunde vaan de positieve geheel getalle, gekoze vaanwege ‘t feit det ‘t filosofies neet controversieel is) consistent waor.”