Лекция № 16 по математической логике. Разрешимые теории. ММФ НГУ. 18 декабря 2021 г.