Add to ORKGInternational audienceIf everyone agrees that logic is needed to do mathematics, there are divergences concerning the role of mathematical logic in acquiring the necessary and sufficient knowledge in this area. In France today there are new syllabuses in which notions of logic are explicitly mentioned. How do teachers integrate them into their teaching? In this paper, through a study of the French syllabuses and textbooks, I show the strong constraints and ill-defined conditions for this teaching of logic notions. I also describe the contents of an in-service training course for teachers, which aims to give them tools for this teaching