Математическая логика и теория алгоритмов. Лекция 11. Универсальные функции и множества.