Математическая логика. Лекция 4