Язык формализованный

Базисные концепты
Новые концепты