О возможном решении обобщенной континуум-проблемы

Некоторое естественное свойство конечных множеств экстраполируется на бесконечные множества и формулируется в виде аксиомы $\mathbf{ABS}$ в языке $\mathbf{ZF}$. Показывается, что обобщенная континуум-гипотеза имеет место в аксиоматике $\mathbf{ZF}+\mathbf{ABS}$.