Synthesis of Mathematical Notions