Les connaissances ensemblistes formelles jouent un rôle important dans les mathématiques du supérieur mais constituent en même temps un obstacle chez beaucoup d’étudiants entrant à l’université dans leur apprentissage des mathématiques. Un test passé à de bons étudiants tunisiens poursuivant un enseignement scientifique spécialisé montre à quel point les difficultés de gestion du langage ensembliste formel et des éléments de logique conduisent à des blocages dans la résolution de problèmes et rendent inopérantes les connaissances mathématiques apprises. Se situant dans la perspective anthropologique du didactique, l’autrice cherche à expliquer l’origine des difficultés constatées et des moyens pour remédier à cette situation.