SMS: Проблема логического следования в математической логике: лекция