Une introduction au programme de Hilbert et à sa thèse finitiste ainsi qu'à la manière dont cette thèse se heurte aux théorèmes d'incomplétude de Gödel.