The Pedagogical System for Mathematics