Each microtheory has a name which is a regular constant; microtheory constants contain the string "Mt" by convention.
Всякая микротеория имеет название, которое является обычной константой; по соглашению константы микротеорий содержат строку «Mt».