On doit à Hilbert, mort il y a cinquante ans, la première axiomatisation rigoureuse de la géométrie, ainsi qu'une liste de problèmes dont la solution, au cours du XXe siècle, a pris la forme de théorèmes qui marquent dea avancées décisives en logique.