Михаил Васильевич Попов про выведение категорий в логике