Les questions de logique et de langage se posent tout au long de la scolarité, mais elles sont particulièrement cruciales en début d'université, en raison de la complexité grandissante des objets mathématiques étudiés qui rendent nécessaire un recours plus fréquent au formalisme aussi bien logique que mathématique, tant pour les définir que pour pouvoir mettre en oeuvre les procédés opératoires et les raisonnements nécessaires à leur acquisition. Dans cette communication, nous argumenterons cette thèse en l'appuyant sur les aspects épistémologiques et langagiers d'une part, en présentant quelques résultats expérimentaux d'autre part.