> -- alexus писал(а):
> PS. Если эта тема представляет интерес, то можно привести иллюстрацию изложенного выше.Представляет, приведите, пожалуйста.

Только сразу спрошу: что такое "язык"?
Для обсуждаемого вопроса, очевидно, собственно язык (EBNF) + библиотеки.
A формальная логика и арифметика на всех уровнях одинаковая. Т.е. про EBNF можно не заморачиваться.
Значит, библиотеки.

Но тогда тезис тривиализуется, если не ошибаюсь.
То есть разные библиотеки/словари для разных уровней, и всё.