En mathématiques, la compacité est une propriété très forte : elle permet d’étudier un objet donné en examinant simplement des sous-objets de taille inférieure. On peut étudier de grands objets finis en examinant certains de leurs sous-ensembles plus petits, ou on peut essayer de comprendre un objet infini en examinant des morceaux finis. En poussant plus loin, on peut étudier des objets qui ne sont pas dénombrables à l’aide d’approximations dénombrables. Dans cet exposé, nous examinerons un exemple spécifique, les limites inverses supérieures, et comment, dans ce cas, un phénomène  de compacité peut dépendre des axiomes en jeu.