Параметры и переменные в формальных системах