The discovery of the set-theoretic paradoxes around the turn of the century, and the resulting uncertainties and doubts concerning the use of high-level
abstractions among mathematicians, led D. Hilbert to the formulation of his
programme: to prove the consistency ofaxiomatizations of the essential parts
of mathematics by methods which might be considered as evident and reliable
because of their elementary combinatorial ("finitistic") character.