1

Without assuming the Axiom of Choice, is the following proposition provable?

If $A$ is countable, and $|A \cup B|=|\mathbb{R}|$, then $|B|=|\mathbb{R}|$.

0 Answers0