The third reason is that when mathematic teachers introduce the logic language for formalizing mathematical statements, as it is done for postgraduate students, specially for calculus, they generally consider that it’s enough to give some syntactic rules allowing a right use of symbolic formulae