Теоретико-множественные методы в гомологической алгебре и теории абелевых групп