Собственно, суть вопроса в том и состоит - каков шаг возрастания уровня абстрактного, чтобы не терялась связность восприятия математики как предмета, обладающего собственным методом - читай средством объяснения процесса мышления. Причем, для связного и непротиворечивого понимания математика, по моему имхо, должна иметь объяснения взаимно доступные для профессионалов-математиков из разных ее частей.
То есть язык иерархического структурирования переходов от частного к общему должен иметь оинаковые слова как для алгебраистов, так для функанщиков и топологогеометрических представителей.