There is analyzed the potential of the course of mathematical logic in formation of future mathematics teacher’s methodological skills of working with the definitions of mathematical notions. There are sorted out the skills that allow logical and mathematical analysis of the mathematical notions and constructing the tasks in accordance with the aims of notion formation levels. There are given the examples of the systems of the practical course of mathematical logic as the means of formation of the skills mentioned above.