Раздел 3. Переменная и кванторы