metasemantic language

Мат. метасемантический язык