The microtheories can inherit from each other and are organized in a hierarchy:one specialization of #$MathMt is #$GeometryGMt, the microtheory about geometry.
Микротеории могут наследоваться одна от другой и организованы в иерархию: одной из специализаций #$MathMt является #$GeometryGMt — микротеория о геометрии.