A generalized Cantor theorem in ZF
Yinhe Peng, Guozhen Shen
Published: 2021/10/31
Abstract
It is proved in $\mathsf{ZF}$ (without the axiom of choice) that, for all infinite sets $M$, there are no surjections from $\omega\times M$ onto $\mathscr{P}(M)$.