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}|$.
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}|$.