La cosmologie de Gödel est célèbre pour son paradoxe du voyageur dans le passé. Mais, dans ses contributions à la théorie de la relativité, Gödel a surtout résolu une difficulté de la théorie relativiste de la gravitation sur laquelle Einstein avait buté en 1917. Cette refonte de la théorie de la gravitation s’inscrit dans un projet philosophique beaucoup plus large. Je décris à grands traits les liaisons principales entre ces trois aspects de l’œuvre du grand logicien. É. A.