He made a major contribution to the study of the foundations of mathematics, in particular the study of undecidable theories. ###>Il a fait une contribution majeure à l'étude des fondements des mathématiques, en particulier l'étude des théories indécidable.