Лекция 6. Теории с равенством